图灵奖奖杯
多次的数学危机
第一次数学危机
核心思想:一切数都可以表示为整数或者整数之比。
危机出现:勾股定理->无理数(西帕索斯悖论)。
新:实数论
第二次数学危机
微积分(贝克莱:无穷小有时是0,有时不是0,那到底是0还是非0呢?)->集合论
第三次数学危机
罗素悖论:只给 不给自己理发的人理发,不给 给自己理发的人理发。那给自己是理还是不理呢?
image.png
哥德尔不完备定理
image.png
image.png
image.png
多次的数学危机
第一次数学危机
核心思想:一切数都可以表示为整数或者整数之比。
危机出现:勾股定理->无理数(西帕索斯悖论)。
新:实数论
第二次数学危机
微积分(贝克莱:无穷小有时是0,有时不是0,那到底是0还是非0呢?)->集合论
第三次数学危机
罗素悖论:只给 不给自己理发的人理发,不给 给自己理发的人理发。那给自己是理还是不理呢?