集合論
文章推薦指數： 80 %
1│2│3│4│5│6│7│8│9│10
點有多大
（第8頁）
蔡聰明
首頁|搜尋
．原載於科學月刊第二十六卷第八期、第九期
．作者當時任教於台大數學系
‧對外搜尋關鍵字
集合論
現在唯一不明的是：線段含有無窮多點，這個「無窮」是什麼？可否進一步說明？「連續統」(continuum)是什麼？
這些問題正是康特所要追尋的，由此導致集合論(settheory)的誕生。
微積分與集合論分別是人類第一波與第二波的馴服無窮。
亞里斯多德將
延伸文章資訊
- 1etc-tera — 公理集合論1︰Z for Zermelo
哥德爾不完備定理限制了證明集合論一致的可能性，然而到目前為止（近一百年）數學界仍未發現任何矛盾，我們有足夠理由相信（但無法證明） ...
- 2Set Theory - 集合論 - 國家教育研究院雙語詞彙
關於集合論的研究及進展有以下幾個重要時程： 1873年，康脫爾(G. Cantor)證明所有實數集合與所有整數集合並不存在一一對應的關係，自此開始了抽象集合理論 ...
- 3集合論· 把數學程式化
1963年《柯恩》證明了上述(b) 式與集合論其他公理也相容。 所以現在我們知道《連續統假設》是不能證明的，即接受或否定它會得出兩套以上不同但邏輯上 ...
- 4集合論
這些問題正是康特所要追尋的，由此導致集合論(set theory) 的誕生。 ... 康特證明了：有理數集與代數數集(algebraic numbers) 都是可列的，但是區間[a.b] 及實數...
- 5初等集合論的基本題目：
由此有時需要證明兩個集合相同，可分別證明：(A B)及(B A)。見以下的例題4; 重溫：內涵公理： S Y x ( x Y x S φ(x) )，; 其中φ(x)是任一個不含有變元Y 的公式。
