AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
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.