数学哲学，逻辑的极限，科学的根基 / 开普饭

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

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

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

大约2500年前,周游列国开始在春秋战国时期盛行,大量的先秦哲人带着自己的思想主张造访各国,寻求理念的落脚点和安身立命之机.谁能料到,那个如此遥远的年代竟然铭刻出一串串星光璀璨的名字,孔子.孟子.墨子 ...

读书使人充实,讨论使人机智,笔记使人准确--读史使人明智,读诗使人灵秀,数学使人周密,科学使人深刻,伦理使人庄重,逻辑修辞使人善辩.凡有所学,皆成性格.

大多数在数学上正确的科学是反直觉的. 事实上,在数学中,我们经常会遇到这样的情况,即我们会推导出我们不完全理解的东西. 欧拉恒等式这就是众所周知的欧拉恒等式.如果你问任何一个稍微熟悉数学研究的人,他们 ...

我们都知道,圆周率是无限不循环小数(3.14159265359--).通过测量多边形的边长,我们可以把圆周率近似到想要的精度.当多边形的边数趋于无穷,边的长度趋于零时,近似值就会更接近. 用五边形.六 ...

第八届"数学.计算机与生命科学交叉研究" 青年学者论坛--特别云论坛一. 会议简介 "数学.计算机与生命科学交叉研究"青年学者论坛旨在加强从事 "数 ...

我们通常以两种方式阐述莱布尼茨的论点:一种是更宗教化的方式(这是最初的方式),另一种是我认为不那么宗教化的方式.但让我们从最宗教和最原始的方式开始. 原始的方式我们可以说莱布尼茨的解释是以" ...

我在上一篇<物质是宇宙的唯一性-->的文章里,论述了物质是运动的,而运动是物质的唯一性这个观点.由于宇宙物质运动是"无序随机"的,由此而形成"有序必然&quo ...

数学哲学，逻辑的极限，科学的根基