chat

8175 readers

519 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

[email protected]

there is nothing that makes me feel closer to divinity than doing my Abstract and Discrete Mathematics coursework unaided (hexbear.net)

submitted 1 month ago* (last edited 1 month ago) by [email protected] to c/[email protected]

38 comments fedilink hide all child comments

puzzling out the proofs for concepts so utterly fundamental to math by myself that it’s like if Genesis 1:3 was And God said, 'Let there be integer,' and there was integer

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

[–] [email protected] 11 points 1 month ago (1 children)

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.

[–] [email protected] 8 points 1 month ago

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.