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

It is essentially “the most one can do with Hilbert’s Programme”.

Actually Hilbert’s Programme was shattered when his great hope (the proof of the consistency and completeness of Mathematics FINITISTICALLY) was proved impossible (actually inconsistent).

But from the point of view of mechanizing Maths, it is more or less equivalent.



Yeah Hilbert’s Program wasn't actually set back by the incompleteness theorems in the first place, it was all FUD.


Not sure what you mean by that: after Gödel, Hilbert essentially became hopeless.


Hilbert misunderstood his own program :D




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

Search: