• CanadaPlus@lemmy.sdf.org
      link
      fedilink
      arrow-up
      11
      ·
      edit-2
      1 day ago

      Something like “sets that aren’t even hypercomputable aren’t real”. Inventing proper classes, which are like sets but randomly can’t go in other things, is a pretty lame solution, anyway. Although, it can probably emulate the former approach, and it’s easy to describe.

      Source: I have some flab some places.

    • Aniki@feddit.org
      link
      fedilink
      arrow-up
      3
      ·
      1 day ago

      mathematical expressions are evaluated on a computer hardware (the brain), that in “normal” cases eventually converges on a result. but sometimes it starts oscillating instead.