RNAi [he/him] to philosophy • 2 years agoDunk tank crosspostimagemessage-square89 fedilinkarrow-up173
arrow-up173imageDunk tank crosspostRNAi [he/him] to philosophy • 2 years agomessage-square89 Commentsfedilink
minus-squarezifnab25 [he/him, any]hexbear36·2 years agoGödel tapping the sign No consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers link
minus-squareasustamepanteon [comrade/them, he/him]hexbear14·edit-22 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. link
Gödel tapping the sign
: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.