the guy who famously proved that the foundations of mathematics is flawed
It’s not really that it is flawed, but that any formal system is going to have blindspots. I think the commonality here is that our boy just loved analyzing formal systems and thinking of corner cases and exploitable features.
It’s not really that it is flawed, but that any formal system is going to have blindspots. I think the commonality here is that our boy just loved analyzing formal systems and thinking of corner cases and exploitable features.