• dgdft@lemmy.world
    link
    fedilink
    English
    arrow-up
    4
    ·
    8 hours ago

    If it weren’t for fucking Gödel, we’d be there already.

    Just write the standard model as a few lines of lambda calculus and leave the rest as an exercise for the reader.