คณะวิศวกรรมศาสตร์ · 2557 09.00 -12.00 น. 8 พฤศจิกายน 2557 09.00 -12.00 น. 2. สอบวัดความรู้ความสามารถ
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
6 -
download
1
Transcript of 12.00 B
![Page 1: 12.00 B](https://reader036.fdocuments.net/reader036/viewer/2022082604/551b36ea4a79593e038b4a5c/html5/thumbnails/1.jpg)
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](https://reader036.fdocuments.net/reader036/viewer/2022082604/551b36ea4a79593e038b4a5c/html5/thumbnails/2.jpg)
¿V = L?