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.