you are viewing a single comment's thread
view the rest of the comments
[–] 19 points 2 years ago

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.

  • source
  • parent