发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
对于公式的每一个ω相容的递归类k
相应地有递归的类符号r
使得 v Gen r 或者Neg(v Gen r)
都不属于Flg(k)
来自: 老沈阅览 > 《国际》
0条评论
发表
请遵守用户 评论公约
成就与爱因斯坦比肩,数学界的超级大拿,却低调得像世外高人
虽然哥德尔称得上是数学界的爱因斯坦,可是呀…爱因斯坦与哥德尔相谈甚欢。1949年,哥德尔在爱因斯坦的生日上给了他一个惊喜,哥德尔在...
岂能不了解与爱因斯坦平起平坐的大数学家、逻辑学家哥德尔(颠覆整个数学的逻辑基础)???(都进来看下吧)
岂能不了解与爱因斯坦平起平坐的大数学家、逻辑学家哥德尔(颠覆整个数学的逻辑基础)???二十年前,曾经有一本关于哥德尔的书在中国懂逻辑或不懂逻辑、懂数学或不懂数学的读书人中热过一阵。如今又...
爱因斯坦知己哥德尔逻辑人生
爱因斯坦知己哥德尔逻辑人生 哥德尔思想的博大精深,“恰是远在天边的一处幽秘风景,虽令人心弛神往却难以身临其境”;1930年初,信心满满的希尔伯特在自己的出生地哥尼斯堡接受“荣誉市民”的演...
内向boy也有春天:娶舞女、出定理、与爱因斯坦谈笑风生,最后死于太爱老婆
内向boy也有春天:娶舞女、出定理、与爱因斯坦谈笑风生,最后死于太爱老婆。发表了哥德尔不完全性定理。他发现了哥德尔不完全性定理。介...
他是粉碎千年数学信念的奇才,爱因斯坦上班只为和他散步
而哥德尔不完备定理告诉所有人,数学问题并不是都能被证明的,你们的数学不是完美的。用他们的同事,也是“戴森球理论”的提出者弗里曼 ...
自认为失败,人称为天才
哥德尔与爱因斯坦并肩走在普林斯顿大学校园。哥德尔和摩根斯特恩早在维也纳的时候就已经是朋友了,但此时的哥德尔却坚信摩根斯特恩抛弃...
哥德尔定理的证明
哥德尔定理的证明。反过来,假如~G是定理,这公式对应的元数学命题“公式G是可证明的”为真,这元数学的判断是:PM里可以证明公式G,即公式G是定理。假设G可证,这说明有个PM公式序列是G的证明,设这个...
哥德尔的定理是如何玩坏数学的!
哥德尔的定理是如何玩坏数学的!哥德尔第一不完备定理说了:如果你有一个一致的数学系统(也就是,一堆互不矛盾的公理),并且你可以做...
哥德尔:一个自由而无用的灵魂 |书评
哥德尔:一个自由而无用的灵魂 |书评9.11知识分子The Intellectual.图1在维也纳大学的哥德尔 | 图源:Kurt G?del Papers, the Shelby W...
微信扫码,在手机上查看选中内容