July 3rd, 2024

A mathematical thought experiment for accepting the continuum hypothesis

The article explores the theoretical implications of considering the continuum hypothesis a fundamental axiom in mathematics, potentially impacting mathematical reasoning and structures. Alternative foundational schemes and implications of historical developments are discussed.

Read original articleLink Icon
A mathematical thought experiment for accepting the continuum hypothesis

The article discusses a historical thought experiment on how the continuum hypothesis could have been considered a fundamental axiom in mathematics, essential even for calculus. It explores the idea that viewing the continuum hypothesis as a necessary axiom could have significant implications for the field. Comments on the article suggest alternative foundational schemes and question the possibility of adopting axioms inconsistent with ZFC. The discussion touches on the implications of different historical developments on mathematical axioms and their consequences. Overall, the article delves into the theoretical implications of the continuum hypothesis as a fundamental axiom and its potential impact on mathematical reasoning and structures.

Related

There's more to mathematics than rigour and proofs (2007)

There's more to mathematics than rigour and proofs (2007)

The article explores mathematical education stages: pre-rigorous, rigorous, and post-rigorous. It stresses combining formalism with intuition for effective problem-solving, highlighting the balance between rigor and intuition in mathematics development.

The Point of the Banach Tarski Theorem

The Point of the Banach Tarski Theorem

The Banach-Tarski theorem challenges common sense by showing a solid ball can be split into pieces to form two identical balls in 3D space. It questions measurement principles and the Axiom of Choice's role in resolving mathematical paradoxes.

Ensemble Mathematical Universe Hypothesis

Ensemble Mathematical Universe Hypothesis

The Mathematical Universe Hypothesis (MUH) posits the universe as a mathematical entity, facing critiques on assigning probabilities to infinite structures and conflicts with Gödel's theorem. Tegmark defends MUH's computability and links it to multiverse theories, amid debates on testability and radical Platonism.

A Proof of Proof by Infinite Descent

A Proof of Proof by Infinite Descent

The text explores proof by infinite descent in mathematical reasoning, using the irrationality of \(\sqrt{2}\) as an example. It discusses induction, well-foundedness, and the Principle of Infinite Descent for mathematical proofs.

The Biggest Problem in Mathematics Is Finally a Step Closer to Being Solved

The Biggest Problem in Mathematics Is Finally a Step Closer to Being Solved

Mathematicians Larry Guth and James Maynard made progress on the Riemann Hypothesis, a key problem in prime number distribution. Their work offers insights and techniques for potential breakthroughs in mathematics.

Link Icon 4 comments
By @FillMaths - 4 months
The pdf file is available at: https://arxiv.org/pdf/2407.02463
By @Maxatar - 4 months
I went into this hoping for a mathematical thought experiment, but rather this is merely a historical thought experiment in the sense of "Wouldn't it be nice of mathematicians accepted CH early on?". It seems the big selling point of accepting CH is that mathematicians would be less hesitant to use nonstandard analysis.

For an actual thought experiment that rejects the continuum hypothesis, I rather enjoy the explanation found at:

https://risingentropy.com/the-continuum-hypothesis-is-false/

By @drewcoo - 4 months
HN title is misleading.