K._三大学派.pptVIP

数学基础与数学哲学 三大学派大辩论 罗素简历(上) 1872年生于英格兰蒙茅斯郡的特雷勒克，祖父曾两任英国首相 11岁掌握欧几里得几何 1890年考入剑桥大学,在三一学院学习数学和哲学 1895年至1901年任三一学院研究员 1900年至1914年主要从事数理逻辑和数学基础的研究 罗素简历(下) 1920年至1921年在中国讲学近一年 1938年到美国讲学至1943年 1916年因反对第一次世界大战被三一学院解职，1944年重任三一学院研究员至去世 1908年当选英国皇家学会会员 1950年获诺贝尔文学奖 1970年2月2日卒于威尔士 罗素悖论 将所有集合分为两大类：若A∈A，则A ∈S; 否则A ∈T,问：T∈T？回答是或否都会导致矛盾 理发师悖论（罗素悖论的通俗化）：一个理发师声称只给那些不为自己刮脸的人刮脸，那么他自己的脸由谁来刮？ 逻辑主义 基本论点：所有的数学都可以由逻辑推导出来。 莱布尼兹：一个真理是必然的，若它的否定蕴含着矛盾；如果一个真理不是必然的，就称它是偶然的。 戴德金：数不是由时间和空间的感觉得来，而是“一种纯粹思维规律的直接产物” Kronecker简历 1823年出生于德国一个富裕犹太家庭 1841年进入柏林大学 1845年获柏林大学博士学位 1845年至1853年在家经商 1853年重返数学界 1861年成为柏林科学院院士 1891年卒于柏林 布劳威尔简