• Email@lemmy.world
    link
    fedilink
    English
    arrow-up
    8
    ·
    4 hours ago

    Unsolved problems do not all fall into binary outcomes. They can be independent of axioms (the set of assumptions used to construct a proof).

    • smeg
      link
      fedilink
      English
      arrow-up
      7
      ·
      4 hours ago

      I like your funny words, mathemagic man