由狭渐广 IP属地:加拿大

文章 关注 粉丝 访问 贡献
 
共 10 篇文章
显示摘要每页显示  条
最后,我将重点讨论莱布尼茨在神学和形而上学/哲学框架下的数学学科中的地位。布雷格(Breger)如是引用道,对于莱布尼茨来说,数学和神学就像是“通向上帝的阶梯”(引自《数学与神学:一项历史研究》“莱布尼茨思想中的上帝与数学”一章,第493页)。莱布尼茨在与洛必达(L’H?pital)的通信中写道,他的形而上学是数学的,可以用数学的形式...
哥德尔不完备定理到底说了啥?我们说因就是公理,在公理的基础上进行的一系列表述叫做命题,这些个命题可能有对的,可能有不对的,对的就可以叫做定理。注意这个逻辑啊,定理就是从公理推导出来的正确的命题,形象点说就比如我们每天说的话,这就是一个一个命题,那公理就多了,比如我们的原则,什么不能说谎啊要诚实啊等等,那为啥说公理是因...
两个科学家通过计算证明上帝存在。在七十年代末,哥德尔评论到,就定义来说,“不可能存在超越上帝的存在物了”,并通过数学逻辑论据提出了上帝的存在。如今,科学家们用一个普通的Macbook来计算证明了哥德尔的论据在数学上是正确的。科学家还指出“ 哥德尔不完备性定理可以在几秒钟内在一个标准的笔记本电脑上自动证实,这完全是不可思议的。...
说人话就是:如果一个属性和一个对象是满足关系E的,那么这个对象的所有属性都必然被该属性蕴含,且这种蕴含不依赖于该对象(即属性蕴含属性,而不是对象的属性蕴含对象的属性,所以有一个谓词$\forall y$)。定义一个属性Q,如果一个对象x是Q的,那么所有P的属性都是x的属性,x的所有属性都是P的,所有非P的属性x都没有;定义属性与对象的二元...
帮助 | 留言交流 | 联系我们 | 服务条款 | 下载网文摘手 | 下载手机客户端
北京六智信息技术股份有限公司 Copyright© 2005-2024 360doc.com , All Rights Reserved
京ICP证090625号 京ICP备05038915号 京网文[2016]6433-853号 京公网安备11010502030377号
返回
顶部