philosophy

19796 readers

128 users here now

Other philosophy communities have only interpreted the world in various ways. The point, however, is to change it. [ x ]

"I thunk it so I dunk it." - Descartes

Short Attention Span Reading Group: summary, list of previous discussions, schedule

founded 4 years ago

MODERATORS

[email protected]

Dunk tank crosspost (hexbear.net)

submitted 2 years ago by [email protected] to c/[email protected]

61 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 2 years ago (1 children)

Gö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

[–] [email protected] 1 points 2 years ago* (last edited 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.