Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Gödel wrote his teorem to test David Hilbert’s endeavor, Logic and the Foundation of Mathematics[0], to unify mathematics. Gödel proved that it is impossible to do.

But you may have a different version of history.

[0] https://www.famousscientists.org/david-hilbert/



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: