毕节学院学报:综合版
畢節學院學報:綜閤版
필절학원학보:종합판
Journal of Bijie University
2012年
4期
7-10,102
,共5页
集合%集合论悖论%数学基础%逻辑主义
集閤%集閤論悖論%數學基礎%邏輯主義
집합%집합론패론%수학기출%라집주의
Set%Set Paradox%Mathematics Basis%Logicism
康托尔创立集合论,推进了数学家对于“无穷”的认识,但是却引出了被称为集合论悖论的第三次数学危机,这次危机导致了人们对于数学基础的深入研究。逻辑主义学派不仅致力解决集合论悖论.还决心将数学的基础建立在逻辑之上。该学派的工作虽然极大地促进了数学基础的研究和数理逻辑的发展,但是,将数学建立在逻辑上的目的却没有取得最终的成功。
康託爾創立集閤論,推進瞭數學傢對于“無窮”的認識,但是卻引齣瞭被稱為集閤論悖論的第三次數學危機,這次危機導緻瞭人們對于數學基礎的深入研究。邏輯主義學派不僅緻力解決集閤論悖論.還決心將數學的基礎建立在邏輯之上。該學派的工作雖然極大地促進瞭數學基礎的研究和數理邏輯的髮展,但是,將數學建立在邏輯上的目的卻沒有取得最終的成功。
강탁이창립집합론,추진료수학가대우“무궁”적인식,단시각인출료피칭위집합론패론적제삼차수학위궤,저차위궤도치료인문대우수학기출적심입연구。라집주의학파불부치력해결집합론패론.환결심장수학적기출건립재라집지상。해학파적공작수연겁대지촉진료수학기출적연구화수리라집적발전,단시,장수학건립재라집상적목적각몰유취득최종적성공。
Cantor founding set theory not only advanced mathematics on "infinitude" , but led to the known paradox of set theory and the third mathematical crisis. The crisis drove people to research the mathematical basis thoroughly. Logicist want to solve the paradox of set theory and base mathematics on logic. Logicist' s work greatly promoted the research of the mathematical basis and the development of mathematical logic. However, they can' t finish the task of building mathematics on the logic.