Dunk tank crosspost(hexbear.net)

posted 2 years ago

Sort:

You are viewing a single thread.

[ - ]

1 point

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.

report

philosophy

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