逻辑的极限与数学的困境，罗素用了362页才推导出1＋1＝2 / 开普饭

现代数学基础的一场大论战在1902年拉开了序幕,这在自然科学史上是一件举世瞩目的大事.自从科学巨匠牛顿和莱布尼兹创立微积分把无限带进了数学,数学家柯西接着建立了严格的极限理论,戴德金等又将实数理论严密 ...

在古希腊法庭上既没有直接证据也没有目击证人会怎样?陪审团不能依赖亚里士多德的逻辑,因为原告和被告都不使用逻辑来揭示真相.亚里士多德描述了以下一个案例: 一个小个子X指责一个大个子Y袭击了他.一个陪审员 ...

★成为襄子特别读者: 点击上方「襄子讲谈社」→右上角菜单栏→设为星标 Part 01:神童小诺依曼 Part 02:冯·诺依曼的数学是体育老师教的 Part 03:大学之路,冯·诺依曼学了化学 Par ...

两千多年来,数学家们一直试图从少数公理出发,根据明确给出的演绎规则推导出其他数学定理,从而把整个数学构造成为一个严密的演绎大厦,然后用某种程序和方法彻底解决数学体系的可靠性问题. 19世纪末,集合已成 ...

整个数学的基础是什么?整个数学推理是关于什么的?要回答这样的问题,可能需要首先理解当代三大数学哲学,即形式主义.逻辑主义和直觉主义.典型的数学大师有希尔伯特(形式主义者),弗雷格(逻辑主义者)和庞加莱 ...

为什么自亚里士多德以来的25个世纪里,直觉没有得到像逻辑那样多的关注?直觉是难以捉摸的,难以定义和量化,有时还具有欺骗性.事实上,甚至还有不同种类的直觉.亚里士多德认为,直觉是照亮黑暗的灯塔.然而,在 ...

当逻辑出错时会怎样?为什么排中律有时是错误的,在尝试解决最终问题之前,先发现数学的核心基础问题. 排中律是指在同一个思维过程中,两种思想不能同假,其中必有一真,即"要么A要么非A" ...

逻辑,是由逻各斯中引出来的,在亚里士多德的那个时代还没有"逻辑"这个词.到了罗马时代,斯多葛学派从逻各斯这个词里面引出了logic,也就是说,西方的逻辑就是从话语.语言里面引出来的 ...

逻辑,是由逻各斯中引出来的,在亚里士多德的那个时代还没有"逻辑"这个词.到了罗马时代,斯多葛学派从逻各斯这个词里面引出了logic,也就是说,西方的逻辑就是从话语.语言里面引出来的 ...

微积分课上都会讲极限的概念,我们知道它与逼近有关,但在证明中你会怎么利用它呢? 你可能对极限有很好的直观理解.f(x)的极限是指当x接近a时,f(x)接近的值.在更一般的意义上,当输入接近一个值时,函 ...

无理数是很有趣的,小数点一直延续下去,但是整个数总是小于一个固定值,这不是很尴尬吗?更令人惊讶的是,这些数字是如何与画在一个平面上的圆联系在一起的,是的,我说的就是π.这里我们将用半页纸来证明这个数字 ...

数学在高考中的地位毋庸置疑,其作为主干学科,既容易得分也容易失分的特点使考生们对这个科目是又爱又恨:而且高三复习冲刺阶段对于同学们来说也绝对是非常好的提分机会!因此,掌握好高考数学迫在眉睫! 今天学姐 ...

逻辑的极限与数学的困境，罗素用了362页才推导出1＋1＝2