• 0 Posts
  • 312 Comments
Joined 1 year ago
cake
Cake day: June 12th, 2023

help-circle













  • Kogasa@programming.devtoScience Memes@mander.xyzGeometry
    link
    fedilink
    English
    arrow-up
    2
    ·
    2 months ago

    Dunno what you’re trying to say. Yes, if ZFC is inconsistent it would be an issue, but in the unlikely event this is discovered, it would be overwhelmingly probable that a similar set of axioms could be used in a way which is transparent to the vast majority of mathematics. Incompleteness is more likely and less of an issue.



  • Kogasa@programming.devtoScience Memes@mander.xyzGeometry
    link
    fedilink
    English
    arrow-up
    3
    ·
    2 months ago

    Nobody is practically concerned with the “incompleteness” aspect of Gödel’s theorems. The unprovable statements are so pathological/contrived that it doesn’t appear to suggest any practical statement might be unprovable. Consistency is obviously more important. Sufficiently weak systems may also not be limited by the incompleteness theorems, i.e. they can be proved both complete and consistent.