All topics / continuum hypothesis
Topic
You are reading the free Skim layer. Read unlocks the synthesis and sources.
Continuum hypothesis
1
episodes
1
thinkers
4h
of conversation
3
books & papers
2
terms defined
The neighbourhood: continuum hypothesis and the ideas it travels with. Drag to roam, click a star for the episode, click a neighbour to travel.
Drag to roam · scroll to zoom · click a neighbour to travel · click a star for the episode
From foundational to frontier
Climb the spectrum. The most accessible conversations come first.
Start here
ACCESSIBLECOREFRONTIER
The lexicon
Every term the guests lean on, in plain language. Read one in full, or filter to find it.
What the corpus says
The throughline across every conversation that touches this idea.
Cantor's discovery of different infinities sparked a major philosophical and mathematical debate.
Gödel's incompleteness theorems show that no consistent mathematical system can prove all truths within its framework.
The continuum hypothesis remains undecidable within Zermelo-Fraenkel set theory with the axiom of choice (ZFC).
Hamkins argues that AI is not yet reliable for mathematical reasoning due to its tendency to produce incorrect proofs.
Voices on continuum hypothesis
4 standout quotes from across the corpus.
Go read
3 books and papers cited across these episodes.
For the specialist
What experts find new
3 expert-level takeaways for a specialist reader.
At the frontier
Still unresolved
1 open questions flagged across these conversations.
The thinkers
Who takes this idea on, by how often they return to it.