发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
数学的计算,不可穷尽性,哥德尔定理,触发多议论......
来自: 肖元生十万小诗 > 《待分类》
0条评论
发表
请遵守用户 评论公约
两个科学家通过计算证明上帝存在
马德里(欧洲时报)- 来自柏林自由大学的科学家 Christoph Benzmüller 和来自维也纳科技大学的Bruno Woltzenlogel通过信息计算验证了...
哥德尔不完备定理到底说了啥?为什么希尔伯特的数学梦因此破灭?
哥德尔不完备定理到底说了啥?我们说因就是公理,在公理的基础上进行的一系列表述叫做命题,这些个命题可能有对的,可能有不对的,对的就可以叫做定理。注意这个逻辑啊,定理就是从公理推导出来的正确...
视频 | 数学核心的悖论:哥德尔不完备性定理
视频 | 数学核心的悖论:哥德尔不完备性定理 在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。哥德尔巧妙地利用了命题的“真值为真”和“含义为真”的区别,从...
有哪些已经被证明是真的而你又无法接受的科学理论?
17和19是素数,41和43是素数,59和61是素数,71和73是素数,小时候,居然有人告诉我,存在无穷多的数n,这个数的前后,(n-1)和(n+1),都是素数。太疯狂了,素数的分布,应该越来越稀疏才对,真么会在n...
虎哥数学带你决胜中考 圆周角定理
虎哥数学带你决胜中考 圆周角定理。
数学上有没有不可被证明的命题?
数学上有没有不可被证明的命题?欧式几何的第五公设太出名了,但数学家对这个公设起怀疑态度,因为这个公设和另外四个有着不同,最初的...
用大白话解释哥德尔第二不完全性定理
而且二加二等于四是可以证出的这事是可以证出的这事,也是可以证出的。悠着点的说法是:要是二加二等于五是没法证出的这事是可以证出的,那么就能同样证出二加二等于五,于是数学就会是一堆瞎扯蛋。这...
如何通俗地解释停机问题(Halting Problem)?
他首先证明,图灵机就覆盖了所有的“机械过程”,如果存在一个问题,图灵机判定不了,那么就说明,不存在这种“通用的”过程,这样就证明了原问题。然后,图灵就设计了一个问题,确实是图灵机判定不了...
科学史上的今天——9月7日
1930年9月7日哥德尔发表不完备性定理。1930年9月7日,哥德尔(Kurt G?del,1906年4月-1978年1月)在柯尼斯堡——这个诞生七桥问题和哲...
微信扫码,在手机上查看选中内容