*Gödel enters the room*
Bertrand Russell: "using set theory, I have grounded mathematics in pure logic." The set of all sets that do not contain themselves: "are you in the right headspace to receive some information that could possibly hurt you?"
-
-
- 1 more reply
New conversation -
-
-
Zeno: I'm so glad you reached out geometrically, but I'm at capacity and will always hold appropriate distance towards you.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I mean, set theory is mostly okay as far as formalisms go... Sure u cannot model that Russell paradox thingy but... Do u need it in practice when describing actual real stuff? Not defending set theory cuz I'm French and a B method aficionado tho
-
i mean, in computer science, every formalism is bad yet good at something; if u reject one because "it fails to model this class of problem" or "there exists a weird edgecase with it" then u don't model anything, right? likewise, u can write a fork bomb in C but we still use it
End of conversation
New conversation -
-
-
That's Frege, not Russell.
-
I mean, both
- 3 more replies
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Gödel was an emotional labor expert
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.