• asustamepanteon [comrade/them, he/him]@hexbear.net
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    2 years ago

    :wojak-nooo: Kronecker and Wittgenstein crying: Noooo! you can’t use a diagonalization argument to prove by contradiction.

    Cantor, Gödel and Turing: haha, well look at that, the diagonal can’t exist. QED

    Whoops: Hilbert actually liked Cantor’s proof.