Alan Turing
In Our Time: Science
00:00
The Infiniteness Theorem
In 19 20, hilbert announced his big programme. And what he really wanted to do was to m set up a logical foundation for mathematics. His idea was that if you carefully chose the axiom, then maybe everything else would just be provable from the axioms in a formal way. So he had put that idea forward, an axiom. Here is a statement taken to be true, so more reasoning can be done. In 19 31, which i notice we've just heard, i the same year that turing enterd cambridge, we had girdles an incompleteness theorem.
Transcript
Play full episode
