推理与第四次数学危机  

Reasoning and the Fourth Math Crisis

作　　者：程显毅[1] 邵应清[1] 

机构地区：[1]江苏理工大学计算机系

出　　处：《江苏理工大学学报（自然科学版）》1998年第5期51-55,共5页Journal of Jiangsu University of Science and Technology(Natural Science)

基　　金：江苏理工大学金州青年科研基金

摘　　要：悖论指出了数学的局限性，同时也推动了数学的发展．文中指出数学的发展经历了四次危机：无理数、无穷小、集合的集合和蕴涵量词．在现代科技高速发展的今天，到了解决第四次数学危机的时候了．第四次危机的解决将形成智能机理论．Paradox not only points out math limitations but also promote the development of math. This paper discusses the four crises in the development of math:irrational number, infinitely small, set of set ,imply. It is time to solve the fourth math crisis now as science and technology develops at high speed, which will result in the formation of intelligence theroy.

关 键 词：数学 推理 悖论 集合论 

分 类 号：O143[理学—数学] O144[理学—基础数学]