公理集合論什麼出現的?公理集合論有哪些內容
本文已影響1.34W人
本文已影響1.34W人
公理集合論(axiomatic set theory)是數理邏輯的主要分支之一,是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。
19世紀70年代,德國數學家G.康托爾給出了一個比較完整的集合論,對無窮集合的序數和基數進行了研究。20世紀初,羅素悖論指出了康托爾集合論的矛盾。為了克服悖論,人們試圖把集合論公理化,用公理對集合加以限制。
第一個常用的公理系統是E.F.F.策梅洛和A.A.弗倫克爾等提出的ZF系統。這個系統中只有一個非邏輯二元關係符號∈,非邏輯公理有:外延公理、空集公理、無序對公理、並集公理、冪集公理、無窮公理、分離公理模式、替換公理模式、正則公理。如果加上選擇公理就構成ZFC系統。利用公理可以定義出空集、序對、關係、函數等集合,還可以給出序關係、良序關係、序數、基數,也可以給出自然數、整數、實數等概念。
通過元語言,也可公理系統中各公理之間的相容性和獨立性,例如Cohen於1960年創立公理集合論中的力迫法,並用來證明ZFC與連續統假設CH獨立。公理集合論發展很快,馬丁公理、蘇斯林假設等新公理新方法已被廣泛使用,組合集合論、描述集合論、大基數、力迫法的研究也持續發展。
在公理集合論的研究中,大量的工作是關於集合論模型的,此外,還繼續此前樸素集合論對無窮組合問題的研究即組合集合論的研究。其中的一些問題是來源於柯尼希樹引理和 F. P.拉姆齊定理的推廣。
另一分支則為描述集合論(亦稱解析集合論),主要是研究劃分層次以後的實數子集的結構性質問題。因而,這一部分與分析、實數理論和遞歸論的關係較為密切。
即使限於上述兩個分支的研究,也有許多問題要用到ZF(或ZFC)以外的附加假設才能判定。這裏,常用的附加假設有:可構成公理;各種大基數公理,以及與AC不協調的決定性公理等。
哥德爾在1938年提出了可構成公理,並在60年代末和70年代得到重視和發展。至於大基數的研究由來已久,但其作為附加公理亦是在60年代以後。幾乎每一種大基數都是ω的某種性質向不可數基數的推廣。可構成性、大基數和力迫法已成為公理化集合論的三大主流,同時它們又是三種研究工具。隨着無窮博弈的誕生和博弈論在數學各分支的滲透,以及博弈論與邏輯的關係日益密切,決定性公理也愈受到重視。
丹尼爾·卡內曼研究了哪些領域?有着怎樣的理論知識
公理的公理集合論
廣義相對論的量子理論是什麼 當前的進展如何
趙元任有着哪些研究理論?對中國有什麼影響
墨子·48章 公孟(3)原文有哪些內容?該如何理解?
普朗克因發現量子理論而獲諾貝爾物理獎
文化翻譯理論 文化翻譯理論有哪些
《人民檢察官》第28集 論法理陳晨輕判殺父案
王好古的著作有哪些?都分別闡述了什麼理論
徐旭生有着哪些著作理論?參與了哪些歷史發掘
翻譯理論有哪些
丹尼爾·卡內曼有着怎樣的學術研究?有着哪些理論觀點
朱震亨有過哪些醫學著作?分別闡述了什麼理論
熊十力有着哪些理論思想?他的主要學説是什麼
竇材有着哪些醫學理論?他主張什麼學説
神滅論之爭具體內容介紹,神滅論與神不滅論
高中數學公式集合
比較優勢理論是什麼?比較優勢理論的發展
李靖豐富了中國的軍事思想,他提出哪些理論?
經濟學理論有哪些?理論經濟學專業介紹
宋明理學簡介 是儒、釋、道三教長期爭論和融合的果實
劉完素有着哪些著作理論?對哪些病症有獨到的見解
《長歌行》基於前八集的內容來論,還不足以套住觀眾
越王勾踐劍價值多少億?它的市場價值高嗎?
西漢巨量黃金都去了哪裏?答案就在此人的墓中
哲學名作《莊子》:雜篇·徐無鬼(5)原文及白話譯文
埃提烏斯參與了哪些戰役?最後是怎麼死的
晏殊《訴衷情·芙蓉金菊鬥馨香》:烘托出重陽佳節
諸葛恪跟諸葛亮是什麼關係?諸葛恪得驢大顯才智!
歐陽修的詩壇三絕:情感與智慧的結晶
李世民在發動玄武門之變都殺了親兄弟 李世民為何沒有
李清照真的是一個不食人間煙火氣的柔軟的女神?
印度小説《戈拉》有哪些藝術特色?名家對《戈拉》如何點
君士坦丁堡被定為羅馬帝國的首都
劉武封地是哪裏?是現在的什麼地方?
秦國建立秦朝之際 秦國就究竟殺了多少人
蘇聯名將崔可夫的中國情緣:曾長期作為國軍顧問
漢朝常惠活了多少歲?什麼時候去世的?