RNAi [he/him]@hexbear.net to philosophy@hexbear.netEnglish · 2 years agoDunk tank crossposthexbear.netimagemessage-square61fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageDunk tank crossposthexbear.netRNAi [he/him]@hexbear.net to philosophy@hexbear.netEnglish · 2 years agomessage-square61fedilink
minus-squarezifnab25 [he/him, any]@hexbear.netlinkfedilinkEnglisharrow-up1·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
minus-squareasustamepanteon [comrade/them, he/him]@hexbear.netlinkfedilinkEnglisharrow-up1·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.
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.