貝爾奈斯

貝爾奈斯(Bernays,Paul Isaak,1888-1977) 瑞士數學家、邏輯學家.生於倫敦.希爾伯特 (Hilbert,D.)的學生.1945年以後在蘇黎世工作.伯奈斯的主要貢獻在數學基礎和數理邏輯方面。

貝爾奈斯(Bernays,Paul Isaak,1888-1977) 瑞士數學家、邏輯學家.生於倫敦.希爾伯特 (Hilbert,D.)的學生.1945年以後在蘇黎世工作.伯奈斯的主要貢獻在數學基礎和數理邏輯方面.他和哥德爾(Uode1,K.)共同改進和簡化了馮·諾伊曼 (von Neumann,J.)對集合論的公理化的形式構造,他們對馮·諾伊曼利用函式概念而不用類的概念做出的集合論的公理體系加以整理,得到類的概念,被稱為伯奈斯一哥德爾集合論.他還與希爾伯特共同研究了所謂“證明論”或元數學,併合著了《數學基礎》一書,

相關詞條

熱門詞條

聯絡我們