L&FP, 42a: The limit on Mathematical knowledge
Here, a video series explores Godel’s incompleteness results: The core point is that Hilbert’s scheme collapsed, nicely summarised. The Godel incompleteness results and the Turing machine halting challenge made Mathematics irreducibly complex. So, Mathematics, too, is a venture of knowledge as warranted, credibly true (so reliable) belief, which must be open to correction. An exercise of rational, responsible faith, not utter certainty on the whole, once a sufficiently complex system is on the table. (Yes, first duties of reason obtain . . . here, there be dragons that love chick peas [Cicero . . .].) The defeasible [= defeat-able] framework for understanding knowledge extends to Mathematics. A fortiori to Computer Science and Physics, then onward across the spectrum of disciplines Read More ›