AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How to Prove Goethell's Theorem Using Complexity Theory
I've been thinking about the foundations of mathematics and mathematical logic. And it is the part of math that I understand the least. But then there are some, that's another great side way because I had a podcast interview with Justin Clark-Done who was a philosopher of mathematics. Yeah, so I think a little bit of some logic doesn't have to be, you know, go too far. People don't know the difference between affirming a consequence and at least life and terms. They probably just focus on memorizing the terms instead of understanding them.