this post was submitted on 17 Jul 2024
540 points (97.7% liked)
Science Memes
10207 readers
4251 users here now
Welcome to c/science_memes @ Mander.xyz!
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- Infographics welcome, get schooled.
Research Committee
Other Mander Communities
Science and Research
Biology and Life Sciences
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- !reptiles and [email protected]
Physical Sciences
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and [email protected]
- [email protected]
- !self [email protected]
- [email protected]
- [email protected]
- [email protected]
Memes
Miscellaneous
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It's extremely unlikely given the pathological nature of all known unprovable statements. And those are useless, even to mathematicians.
Math is also used to make a statement/model our universe. And we are still trying to find the theory to unify quantum mechanics and gravity. What if our math is simply inconsistent hence the theory of everything is not possible within the current mathematical framework?
Sure when you are solving the problems it is useless to ponder about it, but it serves as a reminder to also search for other ideas and not outright dismiss any strange new concept for a mathematical system. Or more generally, any logical system that follows a set of axioms. Just look at the history of mathematics itself. How many years before people start to accept that yes imaginary numbers are a thing.
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.