相關詞條
-
超限遞歸原理
超限遞歸原理(principle of transfinite recur- sion)自然數上的遞歸原理在無窮集合上的推廣. 是集合論中構造新的概念或...
-
哥德爾定理
哥德爾定理是數理邏輯中的一個定理，1931年奧地利邏輯、數學家克爾特·哥德爾(Kurt Godel)發現並證明的，這個定理徹底粉碎了希爾伯特的形式主義理想。
簡介 相關條目 -
超限歸納法
超限歸納法又稱超窮歸納法、超限歸納證法，數學中用來證明某種類型命題的重要方法。
介紹 超限歸納 超限遞歸 同選擇公理的聯繫 套用 -
離散數學學習指導與習題解答（第3版）
敘述；所有定理都給出一系列的例子和其他幫助理解的材料。然後，章末附加習題與補充題。通過習題，可以增進理解學習內容以及證明定理，補充題是章節內容...3.5.3集合的索引類623.6遞歸定義函式633.6.1階乘函式...
圖書簡介 圖書前言 圖書目錄 -
公理集合論
運算（加、乘、冪）時，需要用超限遞歸定理：若 G是一運算，則有一運算 F，使得對每一序數 α，都有 F( α)= G( α）。而這一定理的證明要... φ，即可套用超限歸納原理：對於任給的一序數 β，若每一比 β小的序數 α都具有...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
離散數學教程[楊祥金主編書籍]
??超限遞歸定理6.?3??序數6.?4??關於基數的進一步討論習題六...介紹知識，用方法論指導定理證明與推導。因此，《離散數學教程》的介紹深人淺出...1.5.3 公理系統K1.5.4 K的合理性、一致性和完備性1.6 自動定理...
圖書信息 內容簡介 圖書目錄 新版圖書信息 內容簡介 -
大學生數學圖書館2：集合論基礎
6.Zermelo定理7.超限歸納與Hamel基8.Zorn引理及其套用9....）集合論的所有主要內容：函式、基數、有序集和良序集、超限歸納及其套用、序數...—Bernstein定理、Cantor的對角構造、Zorn引理...
內容簡介 作者簡介 圖書目錄 -
費利克斯·豪斯道夫
極大原理、豪斯多夫運算、豪斯多夫遞歸公式、豪斯多夫-楊(Young)定理...極大定理(Hausdorff maximality theorem)。他...入了許多新的觀念、方法和定理，發展為有系統的完美的理論，並為進一步發展提供...
簡介 生平簡歷 成就 作品 -
數學課系
被證明的真實定理。現代邏輯被分成遞歸論、模型論和證明論，且和理論計算機...被研究於數論中，此一理論包括了如費馬最後定理之著名的結果。數論還包括兩個...數及八元數。自然數的考慮亦可導致超限數，它公式化了計數至無限的這一概念...
科系介紹 數學的本質 數學研究領域 數學的分類 符號語言嚴謹
