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

  • Mardoniush [she/her]@hexbear.net
    link
    fedilink
    English
    arrow-up
    10
    ·
    2 months ago

    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.

    • Llituro [he/him, they/them]@hexbear.net
      link
      fedilink
      English
      arrow-up
      7
      ·
      2 months 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.