推理与第四次数学危机

Reasoning and the Fourth Math Crisis

悖论指出了数学的局限性，同时也推动了数学的发展．文中指出数学的发展经历了四次危机：无理数、无穷小、集合的集合和蕴涵量词．在现代科技高速发展的今天，到了解决第四次数学危机的时候了．第四次危机的解决将形成智能机理论．

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.