12.00 B

Preview:

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?

Recommended