Episode #468 from 2:27:51
Alan Turing and Kurt Godel
So speaking of the human story, you also wrote the book, A Madman Dreams of Turing Machines. It connects two geniuses of the 20th century, Alan Turing and Godel. What specific threads connect these two minds? Yeah, I was really mesmerized by these two characters. People know of Alan Turing for having ideated about the computer, being the person to really imagine that. But his work began with thinking about Godel's work. That's where it began. And it began with this phenomenon of undecidable propositions or unprovable propositions. So there was something huge that happened in mathematics, which is people imagined that any problem in math could technically be proven to be true. It doesn't mean human beings are going to prove every fact about everything in mathematics, but it should be provable, right? It seems kind of... It's not that wild of a supposition.
People
Why this moment matters
So speaking of the human story, you also wrote the book, A Madman Dreams of Turing Machines. It connects two geniuses of the 20th century, Alan Turing and Godel. What specific threads connect these two minds? Yeah, I was really mesmerized by these two characters. People know of Alan Turing for having ideated about the computer, being the person to really imagine that. But his work began with thinking about Godel's work. That's where it began. And it began with this phenomenon of undecidable propositions or unprovable propositions. So there was something huge that happened in mathematics, which is people imagined that any problem in math could technically be proven to be true. It doesn't mean human beings are going to prove every fact about everything in mathematics, but it should be provable, right? It seems kind of... It's not that wild of a supposition.
People and topics
People