登陆注册
57676100000452

第452章 哥德尔定理

哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。

对于策梅洛的ZF公理,总会有问题存在,不可能对于数学计算是完备的。

“谁也不能证明他们的功力系统,即是完备的,又是可靠的。”

哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。

“对于任意可靠的公理和推理规则系统S,必存在正确的数论结论不能在S中被证明。”哥德尔证明这个震惊世界的理论。

对于聪明的科学家和数学家,就明白自己只能无限接近真理而无法到达真理。

只有倔强的爱钻牛角尖的人才觉得自己可以统一宇宙。

关于高斯-博内-陈定理

平面上任一三角形的三内角之和恒等于π,对于一般曲面上由三条测地线构成的三角形,其内角和等于π加上高斯曲率K在此三角形所围曲面上的积分.

同类推荐
  • 漂泊者的墓志铭

    漂泊者的墓志铭

    二十世纪八十年代到二十一世纪初,农村和城市,人和人心都在变化。贵州大山里的穷苦小子林金森来到深圳打工。他流落街头,吃尽了苦头,他被人看不起,被人欺负,经历了很多的磨难和坎坷,可是他有自己的梦想,追求和目标,他要成为一个英雄。他除了要吃饱穿暖,他也需要爱情,他甚至还可以放肆和疯狂。后来,他拥有了幸福美满的家庭,老婆张怡漂亮,是深圳新移民,儿子林宇豪,聪明听话,可是儿子因为车祸离他而去,他变得意志消沉,失去了对生活的信心,开始堕落,沉沦,毁灭,老婆也离他而去。他经历了创业,成功,失败,再成功他的人生轨迹,在最穷苦的农村和特大城市里变换,由此,他的心态也在不断变化,蜕变,最后回归。他结交和认识了形形色色的人,他的人生也变得丰富多彩。大千世界,纸醉金迷,权利,欲望,让他也陷入了困惑和迷茫当中,失去了自我,几乎毁灭自己。他有时候是自己,有时候是演“自己”。一个漂泊者的墓志铭该怎么写?
  • 一起富裕

    一起富裕

    “大学毕业后,一定要回来建设家乡。”吴忘初不忘初心,放弃在大城市工作的机会,毅然回家乡带领贫苦老百姓们一起致富。
  • 向东而行

    向东而行

    中年危机又如何?人生何处无精彩?活成自己想要的样子,不容易。知名设计师的曲折人生。以梦为马,不负韶华
  • 一如反掌

    一如反掌

    故事从来都是从某一点开始。也许都要从生活里截取一片断,细细诉说!我暂时只告诉你们故事的开始,我的故事是关于一如生活的某个片段以及回忆,她的一生是充满传奇色彩的。
  • 撩妹之旅

    撩妹之旅

    无限流撩妹,各种聊,练笔制作,可能会坑,希望各位指导
热门推荐
  • 独家猎爱

    独家猎爱

    炎墨辰,玩昧的说“你可以选择赔偿我,但是你好像赔不起吧,或者我可以考虑你来陪我一晚,当是抵了这赔偿金”,沐兮听到这话,眼睛恶狠狠的瞪着炎魔辰说“你以为有钱人很了不起吗?我虽然没钱,出身普通人家,但是我的尊严不容任何人践踏,你的眼睛只看到有钱人,完全不懂什么是尊严,教养,你真可悲,你真可怜”,此话一出,炎墨辰受辱,顿时俊脸变色,双目如冰…………俩人因此杠上了,与此同时,一朵爱情的小花,在俩人心里悄然绽放…………(这只是故事的简介,预知后事,还望大家多多关注)
  • 斗罗之修罗龙神

    斗罗之修罗龙神

    一代都市武学大家,却因修炼“邪功”而被所谓正道群攻致死,意外穿越到斗罗大陆,看林桐变身史莱克第八怪,一起征战斗罗大陆。
  • 画出诸天万界

    画出诸天万界

    “次林,云横不度,鸟倦还鸣,参天巨树,万木峥嵘,遮天蔽日。吾今命之为千层林!”“此山,高百万丈,峰峦不断,高耸入云;宽十万丈,栉比鳞次,如堑如坑。吾今命之为万叠山!”“次海,东临万叠山,西接千层林,浩渺无际,波涛汹涌。吾今命之为无边海!”李源手中画笔一挥,一个浩大无边的洪荒世界呈现在画世界中。
  • 锦鲤仙妻有点甜

    锦鲤仙妻有点甜

    锦鲤小妖清璃费尽心思与晚庭殿下在一起,却未想到是如此哭笑不得的结局。清璃甩着晚庭的衣袖一脸不满,“你能不能别整天对仙女说子非鱼!”晚庭轻笑,“怎么了?”清璃皱眉,“我怕她们知道我们……”“不怕,她们知道也好。”
  • 墨麒麟记

    墨麒麟记

    就是三个小伙伴在某一天忽然发现自己身负重大使命,然后穿越,然后恋爱,然后救世的故事……【如有雷同,那咱真是有缘】。。。。这是个坑
  • 崩坏之死士不是小姐姐

    崩坏之死士不是小姐姐

    群号:741963900“我,与实力强到能硬刚十四律者!”【除了千人律者,你只是单方面的被吊打了吧。】“……我教出了世界最强的人类之一。”【扯淡,人家强的是枪斗术。】“……我是融合战士,刀术更是超凡脱俗!”【辣鸡,你就是个失败作啊。人形自走移动式律者沙包。】“……我暗杀专精,没人能在我的刺杀下见到第二天的太阳。”【你会无双吗?】“不会。”【弱鸡。】“……”辣鸡死士,在线丢人。
  • 小爷我只喜欢你

    小爷我只喜欢你

    乖巧可爱的小萝莉遇上霸道冷酷的校草(霸)“学长,我喜欢你,可不可以……”“滚。”冷泽言极为冷漠。一转头。。“媳妇儿,你一会儿想吃什么呀?”瞬间变成小狼狗黏在林暖暖身旁。“火锅?”“好,那我们……”“我觉得烤肉也不错,但是我又好久没吃小笼包了,还有……”他微微一笑:“好,你想吃什么爷都陪你。”
  • 野火枯木

    野火枯木

    从来没有人问过,不丑、不笨、不穷的女生会不会痛苦。所有人都会对弱者产生怜悯,但也许,不丑却不够美,不笨却不够聪明,不穷却不够富足是另一种痛苦。一种让人产生幻想却又不得不破灭的痛苦。在林双那看似悠然自得的笑容下隐藏的大抵就是这种痛苦……
  • 如果可以种田那就不恋爱

    如果可以种田那就不恋爱

    一切从樱花庄的宠物女孩开始讲起,我的青春恋爱物语果然不可能是三次元,所以,青春猪头少年不可能梦见兔女郎学姐才对,还有,路人女主的养成方法不要问我,五等分的花嫁我才抢不到,打工为什么不去甘城光辉游乐园?「我真的不是轻小说主角,对吧?」
  • 1628南海黎明

    1628南海黎明

    四个退伍兵聚会时无意间发现了一个穿越蛋,并确定穿越过去后的时间是明朝末年时期,随即开始收集资源和召集有意穿越的人员,开发明末这个新世界。