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
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
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.