• iltg@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    5
    ·
    16 hours ago

    as far as i understand, godel’s incompleteness doesn’t touch reality or ability for math to describe reality. math is very vast and we only need a fraction of it to describe reality right now. whether this description is correct is debatable but not part of godel’s proof, which to me only means math can’t be “summarized” into a set of “universal” rules. i may be wrong tho, godel’s work is a lot to take in

    • xylogx@lemmy.world
      link
      fedilink
      English
      arrow-up
      3
      ·
      15 hours ago

      Yes, I described it badly and that description is inaccurate. It is technically about completeness which has a very specific definition. The implication that no formal logic system could describe even itself fully and that was a major blow to modernist “clock-maker’s universe” view of the reality.