世界哲学
世界哲學
세계철학
World Philosophy
1985年
3期
16~20
,共null页
哥德尔;集合论;哲学意义;数学直观;形式不可判定命题;丢番图方程;方法论意义;公理系统;研究成果;形式化
哥德爾;集閤論;哲學意義;數學直觀;形式不可判定命題;丟番圖方程;方法論意義;公理繫統;研究成果;形式化
가덕이;집합론;철학의의;수학직관;형식불가판정명제;주번도방정;방법론의의;공리계통;연구성과;형식화
<正> 前言奥地利的逻辑-数学家K.哥德尔(1906-1978)在25岁时发表了题为《〈数学原理〉及有关系统中的形式不可判定命题》的论文,这篇文章的思想和结果在现代逻辑和数学的发展中起了重要的作用。哥德尔证明了,内容相当丰富的知识领域之完全形式化的原则不可能性,更不用说整个科学知识的完全形式化了。除了上述论文,哥德尔的若干其他著作包括构造性逻辑、模型论等领域的重要结果。新实证主义者曾企图利用哥德尔的某些命题以利于他们的观点并作出了自己的哲学结论。越过新实证主义浪潮的障碍,哥德尔以批判分析的态度超出了对逻辑科学最新成果的主观主义解释。哥德尔的结论具有原则性的方法论意义,对
<正> 前言奧地利的邏輯-數學傢K.哥德爾(1906-1978)在25歲時髮錶瞭題為《〈數學原理〉及有關繫統中的形式不可判定命題》的論文,這篇文章的思想和結果在現代邏輯和數學的髮展中起瞭重要的作用。哥德爾證明瞭,內容相噹豐富的知識領域之完全形式化的原則不可能性,更不用說整箇科學知識的完全形式化瞭。除瞭上述論文,哥德爾的若榦其他著作包括構造性邏輯、模型論等領域的重要結果。新實證主義者曾企圖利用哥德爾的某些命題以利于他們的觀點併作齣瞭自己的哲學結論。越過新實證主義浪潮的障礙,哥德爾以批判分析的態度超齣瞭對邏輯科學最新成果的主觀主義解釋。哥德爾的結論具有原則性的方法論意義,對
<정> 전언오지리적라집-수학가K.가덕이(1906-1978)재25세시발표료제위《〈수학원리〉급유관계통중적형식불가판정명제》적논문,저편문장적사상화결과재현대라집화수학적발전중기료중요적작용。가덕이증명료,내용상당봉부적지식영역지완전형식화적원칙불가능성,경불용설정개과학지식적완전형식화료。제료상술논문,가덕이적약간기타저작포괄구조성라집、모형론등영역적중요결과。신실증주의자증기도이용가덕이적모사명제이리우타문적관점병작출료자기적철학결론。월과신실증주의랑조적장애,가덕이이비판분석적태도초출료대라집과학최신성과적주관주의해석。가덕이적결론구유원칙성적방법론의의,대