Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Mathematics
00:00
The Impossibleness of Mathematics
The incompleteness thems of mathematical logic dealt a blow to part of what hilbert wanted to do. Alan turing argued that this last thing was impossible you can't reduce mathematics to algorithmic thinking. He literally proved that as impossible and he developed the idea of the modern day computer.
Transcript
Play full episode
