83
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 13 Sep 2024
83 points (100.0% liked)
chat
8165 readers
74 users here now
Chat is a text only community for casual conversation, please keep shitposting to the absolute minimum. This is intended to be a separate space from c/chapotraphouse or the daily megathread. Chat does this by being a long-form community where topics will remain from day to day unlike the megathread, and it is distinct from c/chapotraphouse in that we ask you to engage in this community in a genuine way. Please keep shitposting, bits, and irony to a minimum.
As with all communities posts need to abide by the code of conduct, additionally moderators will remove any posts or comments deemed to be inappropriate.
Thank you and happy chatting!
founded 3 years ago
MODERATORS
It took me until following down the "how do we dodge Gödel's theorem maybe we can use probability or restrict proofs to a subset or something idk." Thoughts of the 1940s logical empiricists that I truly realised how perverse Maths is.
i found out that cantor's diagonal argument is more of a persuasive argument than an actual proof and it's been sort of driving me a bit insane since. math is truly a perverse spiral.