广西民族大学学报(自然科学版)
廣西民族大學學報(自然科學版)
엄서민족대학학보(자연과학판)
JOURNAL OF GUANGXI UNIVERSITY FOR NATIONALITIES(NATURAL SCIENCE EDITION)
2014年
4期
22-27
,共6页
数学基础%逻辑主义%直觉主义%形式主义%哥德尔不完全性定理
數學基礎%邏輯主義%直覺主義%形式主義%哥德爾不完全性定理
수학기출%라집주의%직각주의%형식주의%가덕이불완전성정리
面对集合论中存在的悖论,罗素、布劳威尔、希尔伯特等数学大师各自提出了不同哲学主张和解决方案,展开了激烈的争论,形成了逻辑主义、直觉主义、形式主义三大学派.哥德尔的不完全性定理终结了数学家追求绝对可靠的数学基础的幻想,同时使人们对无穷的认识达到了一个更高的境界.
麵對集閤論中存在的悖論,囉素、佈勞威爾、希爾伯特等數學大師各自提齣瞭不同哲學主張和解決方案,展開瞭激烈的爭論,形成瞭邏輯主義、直覺主義、形式主義三大學派.哥德爾的不完全性定理終結瞭數學傢追求絕對可靠的數學基礎的幻想,同時使人們對無窮的認識達到瞭一箇更高的境界.
면대집합론중존재적패론,라소、포로위이、희이백특등수학대사각자제출료불동철학주장화해결방안,전개료격렬적쟁론,형성료라집주의、직각주의、형식주의삼대학파.가덕이적불완전성정리종결료수학가추구절대가고적수학기출적환상,동시사인문대무궁적인식체도료일개경고적경계.