• GarbageShoot [he/him]@hexbear.net
    link
    fedilink
    English
    arrow-up
    19
    ·
    1 year 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.