Forcing and independence of the continuum hypothesis
Forcing e independencia de la hipótesis del continuo
- Date
- 1963 · confidence high
- Place
- Stanford, California, United States
- Credited to
- Paul Cohen; relative consistency proved by Gödel (1940)
- People
- 👤 Paul Cohen1934–2007
- Field
- Knowledge & symbols
What was discovered
A technique for constructing models of set theory that shows that the continuum hypothesis and the axiom of choice can neither be proved nor refuted from ZF. It resolves Hilbert's first problem by showing that it is undecidable.
Cohen received the Fields Medal in 1966, the only one awarded to date for a result in logic.
What it led to
- modern set theory
- large cardinals
- the independence of numerous statements
- the debate over pluralism in foundations
Built on
- Continuum hypothesis1878
- Godel's constructible universe