Philosophy of Mathspeaking topic
How does Turing's halting problem prove that it is impossible, in general, to know in advance whether a program will run forever?
— Alan Turing's halting problem
practice with this topic
Set the timer (5-30 min), take 20 seconds of prep if you like, start talking. Jot your thoughts onto the sticky-note board.
similar topics
- The more you flip a coin, the closer the ratio of heads gets to 50 percent. Yet the raw gap between the number of heads and tails actually tends to GROW. How can the ratio settle down while the absolute difference keeps widening?
- If two strangers each pick a number between 1 and 100, you would expect them not to collide. But humans cannot choose randomly: most people pick 7 or 37. Why is free choice so predictable?
- Why is the axiom of choice both extraordinarily useful and deeply controversial, and why are mathematicians divided over accepting it?
- Is mathematics discovered or invented? Where does the debate between mathematical Platonism and the view that math is a product of the human mind come from?
- How has the division of infinity into 'actual infinity' and 'potential infinity' shaped the philosophy of mathematics ever since Aristotle?