3 ms·
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
by pfortuny 6y ago
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.
- Ericson2314 6y agoYeah Hilbert’s Program wasn't actually set back by the incompleteness theorems in the first place, it was all FUD.
- pfortuny 6y agoNot sure what you mean by that: after Gödel, Hilbert essentially became hopeless.
- Ericson2314 6y agoHilbert misunderstood his own program :D