45

From my "watched a YouTube video" understanding of Gödel's Incompleteness Theorem, a consistent mathematical system cannot prove its own consistency, and any seemingly consistent system could always have a fatal contradiction that invalidates the whole system, and the only way to know would be to find the contradiction.

So if at some point our current system of math gets proven inconsistent, what happens next? Can we tweak just the inconsistent part and have everything else still be valid or would we be forced to rebuild all of math from basic logic?

you are viewing a single comment's thread
view the rest of the comments
[-] CanadaPlus@lemmy.sdf.org 2 points 16 hours ago* (last edited 15 hours ago)

It wasn't a mistake. Usually you're talking about an infinite-dimensional TVS when you say Banach space - as in it's just Banach, that's the most you can say about it. I don't mean R^3^.

Stuff like the axiom of choice has a way of coming up in functional analysis. Sure, there's weirder spaces, like from general topology or TVS theory in general, but Banach spaces are an example that are pretty widely used and studied. It seems like going with some pathological object I have to search around for would make the point less clear.

The Banach-Tarski paradox wouldn't work either without the AoC, but it's just a specific counterexample, and Banach and Tarski's careers will be fine since they both died decades ago.

this post was submitted on 03 Feb 2026
45 points (95.9% liked)

Asklemmy

52774 readers
239 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy 🔍

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 6 years ago
MODERATORS