12.00 B
2
December 7, 1873: Georg Cantor gives birth to the science of the infinite in a letter to Richard Dedekind 12:00 Continuum hypothesis (CH) ZFC: Zermelo-Fraenlel system plus axiom of choice John von Neumann and the ordinals Löwenheim–Skolem theorem:if a countable
-
Upload
luis-vergara -
Category
Documents
-
view
5 -
download
1
Transcript of 12.00 B
December 7, 1873: Georg Cantor gives birth to the science of the infinite in a letter to Richard Dedekind
12:00
Continuum hypothesis (CH)
ZFC: Zermelo-Fraenlel system plus axiom of choice
John von Neumann and the ordinals
Löwenheim–Skolem theorem:if a countable first-order theory has an infinite model, then every infinite cardinal number κ it has a model of size κ
Kurt Gödel (1940): CH cannot be disproved in ZFC Paul Cohen (1963): CH cannot be proven in ZFC
¿V = L?