一品小说网

手机浏览器扫描二维码访问

第三十章李谦不完备(第2页)

“提出悖论大概是最方便的方式了。”

李谦想道,“要是罗素还没有提出理发师悖论,那光靠这个悖论,就足以让全欧洲的数学家都记得自己了。”

只可惜,这个悖论已经在1902年就被罗素提出了,所以,这个是没法抄袭了,那么还有什么相对容易弄出来一点,又能让全世界的数学家都记住自己的东西呢?于是一个名词一下子从李谦的脑子里蹦了出来,那就是:“哥德尔不完备定律。”

1900年,德国数学家D.希尔伯特在巴黎第二届国际数学家大会上作了题为《数学问题》的著名讲演,其中对各类数学问题的意义、源泉及研究方法发表了精辟的见解,而整个讲演的核心部分则是希尔伯特根据19世纪数学研究的成果与发展趋势而提出的23个问题。

这23个问题涉及现代数学大部分重要领域,推动了20世纪数学的发展,数学史上称之为希尔伯特数学问题。

而在这二十三个问题中,第一个得到重大的进展的问题就是数学公理的相容性问题。

当时希尔伯特希望通过元数学来解决它。

希尔伯特提出了一个宏大的计划,希望能建立一组公理体系,使一切数学命题原则上都可由此经有限步推定真伪,这叫做公理体系的“完备性”

;希尔伯特还要求公理体系保持“独立性”

(即所有公理都是互相独立的,使公理系统尽可能的简洁)和“无矛盾性”

(即相容性,不能从公理系统导出矛盾)不过到了1931年,奥地利裔数学家哥德尔却证明了这样的一个命题:

任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

这个定理的证明,对于希尔伯特的计划,几乎是致命的一击。

而且它的影响远远不止于此,这个定理一举粉碎了数学家两千年来的信念。

因为它证明了真与可证是两个概念。

可证的一定是真的,但真的不一定可证。

某种意义上,悖论的阴影将永远伴随着我们。

它的影响甚至远远地超出了数学,一直影响到物理学、哲学等等。

在原本的历史上,霍金在一次演讲中提到建立一个单一的描述宇宙的大统一理论是不太可能的。

而支持他做出这样的推测的基础也就是哥德尔不完备定律了。

只是这个东西和他此前的研究方向有些不太一致,不过李谦觉得,这不是什么特别大的问题,反正他也只打算先用这个装一个13,装完这个13他就跑回自己的代数几何去不就行了吗?

1924年的国际数学家大会就要在多伦多举行了。

但是李谦现在还没有获得邀请,虽然他此前已经完成了对“李谦第二猜想”

和“李谦第三猜想”

的证明,但是这并不足以让他获得一张邀请函。

不过不但李谦没有得到邀请函,希尔伯特和艾米·诺特也没有。

因为一战的影响,国际数学家大会对原同盟国的数学家关上了大门。

这扇大门要到1928年的第8届国际数学家大会才会从新打开。

“也不知道现在抛出这个成果,还来不来得及得到一份邀请函。”

李谦这样想。

本周收藏榜
热门小说推荐
夜色佳人

夜色佳人

为了试探女上司,我给她发了一个口令红包,结果却发现她...

玄冥真解

玄冥真解

现代都市,灵气枯竭,但妖魔鬼怪却并没有退出历史的舞台。世界是残酷的,只是你看不见。妖魔鬼怪披着人皮,隐藏在繁华都市之中,以人为血食,增加修为。也许某一天,你会突然发现你熟悉的某个人忽然露出獠牙,一口咬来。不要惊讶,就如同人吃牲口一般,我们都是食物链底部的一员。命运从不眷顾弱者,死亡是唯一的归宿。王辉不肯屈服命运,只有选择成为强者,以妖魔鬼怪为食,走上炼魔成道之路。...

沧澜剑神

沧澜剑神

九天之上,繁繁翔云,勾勒着一幅人家仙境,仙境之下,便是沧澜大陆最显蓬勃生机的人界,王朝并不算封建的统治,足以让平民白丁有说有笑的安居乐业。只是这幅光景,站于九天之上冷眼旁观的话,却像是无数聒噪的蝼蚁,无力的挣扎着岁月的洗礼。...

屌丝男士

屌丝男士

李昊天被喜欢的女人背叛,负伤醒来之后,无厘头地接管美女服务中心。他的职责,就是和冷艳的美女助手一起为美女们解决各种困难。王牌杀手,蜕变为护花使者!...

特工毒医,天才丹药师

特工毒医,天才丹药师

关于特工毒医,天才丹药师异域时空,特工降临,拈花一笑,杀人于无形之间!潜伏三年,横空出世,一世迷离,一曲离殇...

大明行者

大明行者

待人当求儒家之信义,处世需效墨家之兼爱,修身秉承道家之超脱,治国应持法家之严明,勾斗必用兵家之权变谋略可奉鬼谷之诡谲。国之将兴,必有祯祥,国之将亡,必有妖孽。古语虽没错,但老祖宗遗训却可以颠倒过来。一个略带痞气的正义少年,回到明朝的中后期,平匪患,荡倭寇,斗奸佞,延国祚,书写一代行者的别样传奇。(群219904940)...

每日热搜小说推荐