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

12.00 B

Embed Size (px)

Citation preview

Page 1: 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

Page 2: 12.00 B

¿V = L?