Upload
luis-vergara
View
6
Download
1
Embed Size (px)
Citation preview
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?