在的话题说到后倒不是母亲让他想打断的想法。母来,进入了一个别的领开启己的结论的时候,海原域。定的地方,而是母亲的话中有什么光贵数次产生了要否亲叙述自
叽盐名为量子信息这个领域一直个看起来似乎无关的命设法去解释的,据。一直以来碧的能力,从假设一估算无误,那应该传输。如题开始,顺着着说着竟然最尽可能回避与春上的话题发生联春上衿衣的能力的依妹妹过去最好的朋友后会恰恰关无瑕疵的逻辑推论,说都没有就是妹妹与春上的到春上的能力。承诺,到母亲为了猜测他都信守着交织。只是没有想果
孩,恐但穹乃这样的女过也就算了。到什么。不可能会没有想怕换成其他人,恐怕听
露出了一丝到,就的表情。立刻意识,果然发现妹容惊讶看身边的妹妹海原光贵看了都不知道。好的面算想要打断话题也为上经如此,妹姣他干脆就当做什么时已晚。既然已
地对这一巧合产生了惊愕地发现这了某个公式不可表示该命题的那个公—想到这里,他本能反正他也确实什一丝不安。就像只是巧合。虽是仅仅只是断言么都没有做,这一切都被证然这种巧合看起来不可思议—恰恰就是个公式竟然式一样。实,最后却令人
么好的征兆。这种不可思议的巧合似乎不是什
“很惊讶吗?”
母亲看起来并没有怎么想法,反倒是注意到了穹乃的表情细微变化去留意海原光贵的
她有些不问。知道该怎么发,但开穹乃点点头。口时却发现自己根本话想问
的父亲也没有涉及过话题,不要说母亲,就之前所说的,都是与哥哥的不太好。亲的内容,在这里插话进去似乎与春上衿衣有关学姐有关连。而且母
了笑,她用餐厅的湿净,将笔然后。芯上的纸巾将闭。羽毛笔上的墨水擦拭干轻轻插回穹乃的头发软扣将墨水流出通道关扣下羽毛笔笔海原夫人倒上是毫不在意地笑
金的。”先去把钱付。“没什么可值得惊讶的了吧,这家店只收现
纸币的。这个坏习惯甚至从上。会携带金钱所以原兄妹自己当在海原家打工的缭乱学较奇怪的平常事,是存有一议,那就是每当一起外出的到了海原光贵时营都是从来不然更是谁都不以为意海上。生都知道,原家的习惯在于海件听起来比能使用现金的场如今也毫无意外地保留的身合,就只有让穹乃一辈就已经存在,在这种只去付账。这事就连。说来也是不可思候,海原家的男性阵
着单据去付钱的时候海原光贵说。,海原夫人却突然对不过,趁着穹乃起身拿
“光贵,有些是只对你说比较好。”话我想最好还
有过一丝一海原说话语气一向平和化。她的真意,也是一件轻柔,几乎从未所以平时要想知道些奇光贵有怪地抬起头。母亲毫的变难事。
他的疑惑微感到有趣,海原一笑。微夫人也不知道是不是对
递都是只存在于神话息的使者——你看,正开始认识这个世界之前便已甚至被认为我们生活论今天看来丝毫不向往,几乎足为奇,那是因为说然成型。在古的问题时代中中,通讯的这也不仅只是百年之前,如权柄。古希腊人将通想。在人类的思想之战场上的讯息通。传递。然而火所能够传在一个信息通讯重要性早在人类真讯的权柄归于火神的理论起。爱丽丝的理知道,哪怕仅失为一其名,那是假——因这依然要从爱丽丝“在我看来,叽盐同学终究有限——事实上,仅有一个比过烽火接力此的信息传中,那圣性可言的幻‘天使’本身毫无神我说过想中传递神的信个实证赫菲斯托斯,原是神的达的信息量,需要先解决。限制信息通讯的特——出于对于无因是如此的一目了然曾经设想过名为‘应该有一个至关重要全世界的人类都人眼高度发达的时代。可要天使’之物。一如
当热衷式在效率上。比如却似乎提及宙在,无处不独有,圣典也使用着同无为“如果分析古人的教密宗的那些经典。不斯的女儿”这类繁么呢?疲个奇特之处于在语称其名,他们甚至言而喻,如此的叙述方少直、‘集云的宙斯’、‘’。大智的宙斯’西俄德,都在自己的之类的词汇。我是欧米伽。样的诸如,而是使用‘诗句中使用一种非‘我是阿尔法,克洛诺斯相斯时我是今在,昔言语,会发现一甚是低下,可古人直称其名似乎同样这么做的还有在’甚少的儿子琐而看宁可使用诸如“提似无意义的语言。马还是赫不论是荷常有趣的描写。诸如大盾的宙。这是为什佛,那便是古人乐此不提及雅典娜,也甚言中引入冗余
余就几最大限度地避免了乎可以确的的《伊利亚特》之类的伟大作口述传承’不可避免的特点。引入冗余定是在不存在文字的俄德的《神谱初期这是的为必不可少品,仅从其冗到查证的当时,“事实上,这正是‘歧义。在信息通然繁琐,却,诸如赫西环境下创作并传承。讯不够发达,无法做》和荷马虽的比特。古希腊文学了纠错而专门引入
除的,亦排斥无法真正。事实上,这种沿袭许反而是古代的那些炼自毕达哥拉斯-柏有趣,柏拉图定义了弟节的缺失。历史很多系也就有了时候就是这么的维的缺陷在于无法进的冗余以消思描述真实。局限性。首先它文字思于无法描述真实了口语它不可避免地冗长到令金术师。在他们的要完整地描述世维的缺陷在然确如柏拉图所言,引入大量文字的描述永味着能是真实的形似,,他的文字化的结果,这种最久的,也就必须歧义,结果就是的逻辑思考环维相较于口语“在这一点上浸淫样由亚里士多德定字的世界。但实本身。然而界,有可能再现被描述义的子亚里士在上’,诚行逻辑推理纯口语的思维体思维相较于文字思理论中,‘如在上致命的缺陷化,因为文字化拉图的维体系有其在下。如在下的,亦人难以忍受。其思所在,那就是同次它本身排斥着文能够描述世界也就意而不可能是真远只却定义多德
两条信息中做出任文字然而生活在口维只能记忆已知。“如果不理解的话,举例校。生活在理所当思维环境下的人会而常盘台是一所女推论出她是个女孩子。何逻辑推然地不妨,因为他们是无法从在论的,口语思语思维环境下的人却只能回答‘不知道’来做这样一个:穹乃是常盘台学生,
中,被称为‘思考思考来自于们知道使用的语言里士多德在认识论上所忆对对于自身的质问,。缺乏逻容的评估之’。公理化演绎’的当然的,,这是有效时阐。它只能描将能靠听懂得如何去思维。在口语思维系在对内而逻辑推也将多德的口法实现。用数学的话来但事实描述现在,而无法决问题’过类的自然而然地缺失‘间甚短,只之物,那是。因为逻辑推论这一步评估需要决定人类否认为人类的思考在亚里士字,不是吗?统来说,就是说,对于理未有。我法再现自己未知令,逻辑推理是统中,是不存在‘得思维不能够成立一概念的。,是人考,却未必每个人都因为每个人都使去和将来证明的方式说,它辑推理会使用文时间只能通过堆积着记口语思维系来记想象无法进行逻辑推论证明了一件‘提出问题-解也就意味着自身的种缺失使它终将无法面和文字?推理用符号,也。金色大衍术终究无述已有,而不能推来理,必须建立述的程就无这因为口语思维系统的证明’这正确性无法被证明,亚录的口语所并不是这样的无法完成的。考古学思这看起来似乎是理所通过逻辑去推论过人无比讶异的事,那任务。也上。就“你是就是逻辑推理。
推论而不是描述是‘思士执着于描述世界的未知。很讽至连不仅仅是一个‘存在世也就甚,因为要想认识世离认识世界越远。,可偏偏对世界考’的。也或许是逻辑真正能够认识世界的方式宇宙刺,古代的炼金术个‘思维’。“界’,而是一界,就必须去推论世界描述得越精确,
反倒是一种倒补充。所以冗余越它只能再等价为一种冗论,这要的不能转换为息去计算,,叽为信现已知之物。多也盐同学似乎能够余是避免歧义的性的缺失而必然需堆积,是因为逻辑关联这种冗余盐同学的能力只能停留的叽变成我之前就说过,冗在相任何一种东西。在就无法忽视冗余的存在就意味着越是关系的逻辑。不摆脱丝的存有因果退,因为这可以表的。光贵,你所说余的口语化语言,当底层的基础上。‘任何东西’代理我看来依据爱丽“如果将能力也作
在文科学根基的,人类现有的逻辑推理化立逻辑推理化的思维,将述’转化为‘观念’才行知识(注:d。为现代字之上,而非相反。更进一步,也必须进入“一个事实是,作思维是建‘叙a’at)的构建要想
丽丝关于这方面的伯里的约给你看,只。它一直保存有在学园翰(注“很可惜,爱容。法将她的论述细节能告诉你大致的内1)过在英国却留有备份起。所以我也无到今天,与索尔兹论述并没都市保存下来,不对于逻辑的论述放在一
诉你一件事,大概会碰到最后这,者。不我还必须告可判定’。我猜个能力结转表过她指出了一个重点:在一个能够作为在理解能力的表叽盐同学——‘在她的论文里曾指出一一致’、‘是否只是指出能力存在结爱丽丝只需要一系点:能力的表测,,需要的仅仅只可以。当个巨大的系统问题。“的在假是区分三个问题转表述的可能述就像是在证明一,而不是真然,她当时是否完全’、‘是否列机械的规则就述的时候设存现的能力”
端起茶杯喝了一口完这句话后,海原天之中最大的。然而今说思维爆弹就随着这句红茶人若无其事地夫话而落下。
概念。它从历史而起,而著称,可这部光贵的印象中,母海原了普通的“博学”的亲一贯以惊人的博学向着数学收敛。分却远远地超过在
知哪怕是学园都市的,海原光贵表着什么。不过是例外。却怕绝大部分也不道这三个命题代学生,恐
的缓冲时间去接受虽然海原夫人的话他却能题仅仅只是接受。这个结论——不是理长,理解为什么母亲要用显得隐晦和冗的方式说这件事——这毕竟是太过耳熟,太这样过令人不安的三个命光贵,也需要一定。就算是海原解,而是接受,
时,人类历键在于,这三个问题的答案。之一大卫·希尔伯特提出的三个问题。有什么。它们只是史上最伟大的数学家那三个问题本身并没二十世纪初关
问题的答案是令人感到非常这三个问题的答案中是否定。打击。因为三个,都的每不幸的,都是对逻辑领域的一次一个
机器是否数学家之一阿兰·图前两者由数学而第三,答案便是大名鼎鼎的符号”。这任意的一台类历史上最伟大的时,它可以判断一位人表达为:“不存个问题,则由另家哥德尔回答这三个问题中的灵给出答案曾经打印过给定“不完备性定理意一台机器的标准描述”。其常见的在这样一台机器,当它提供任的。
一起,算者与计算者就此是当被计仅仅只纠缠在论就此诞生。悖
图灵今天在计算,机称为“领域停机问题”。的给出的这个答案被
为重要部分,也出来。母亲的猜测之中,最为关键也最就此终于被真正地揭示
着母慢慢放下,到根本无法用言语表达。看着他的样子的脸,眼中满是复杂海原光贵的意味。海原夫人几乎可说是死死地盯茶杯,轻轻叹了口气亲
。不过这恐怕更为可取’通讯,算机,是想证明什么而不是一位朋友,‘设想是与一台计“光贵,我不(注2)。”
========᠑==========᠑=====================================᠑᠑
的秘书,中世纪欧怀疑注1:12世的代表人物。此人曾被洲逻辑学纪英国坎特伯雷大是主教持神秘主义哲学者。
认为隐含经表达过类似本卷引是格雷戈里廷之前,至少有三个人曾德·香农对于通学领域,这是一讯的定义中其实也语中克劳息的观点。的始蔡廷,但其实在蔡的意思。作俑者已不可考。有人句箴言。它注2:在信有同样·
此,但牵涉实在是颇费脑筋和解答章节——话虽如,查了不少资料术语的方式表达出来ps:这章其实是设定太深了。要想不用过于时间也比较长。。结果内容比较多,
经过这件事,感到困扰的事。的评价了。一件令人那确实是倒是能更好的理解柏拉图的对于文字
数学之间存在关联。关联性。究其源,它们根基或者说,符号化)语言酝为我们日常生活中使酿了“逻辑推:这章的核心内容其实实上,它们的确实存还存在着相当的但事在论”,而“逻辑用的(的头,我们使用的文字化所在。甚至联。上传者的ps语言和很少有人会认科学推论”又是数学与现代一种不可分割的关是数学。恐怕
是否哥德尔的物理学家向一位或说个问题。·惠勒曾经这位肯定很了不起理存在关联。了许久,并未给,约翰问,内容相当奇特:不据目思考完了不起的数学家发,而是拒绝回答这备定理许更与量子力学的不确定闭出是或者否的答案性原问过哥德尔一个问题。
认识世界的极限的理论本身是个非常有意思否存在的问题,两个象征着人类关联?这是一
兰·图灵对那最,在于阿,我也同样没有搞懂)。里面后一个问题的解答。关联在机性,在于不确定性令人感到错愕的(这是,答案居然是有的于随常复杂的内容非
论实现的。过信息是,而对它是通于本文来说最重要的
困难的事。然而这难以去理于数学,数学几唯一的理解广义相对论。子力学等价而高于乎是信息论的核心同样在成数学化的方式来表述,重要性几乎与量通过过于要想不论之一,它的基础理信息论的方式。确实是一件相当为人类社会的解的理论如今却已经
·香农在探究最终甚至,对于纸上写下他所估算的人人类自身的去完成——从克劳德确定的事实。也将依赖信息论一张类基因的信息量时起,这就已然是一个
我和作者对于叽盐碧的构思由来。其实,这个思想正是
并且将其应用到了一斯,现代宏观经济学之字是约——人父。起的人物比以上提到的,可却少有人个令人惊讶的领域能有一位同样了不又ps:顺便提一句类社会本身。那个人,令人感到无比惊讶乎等同于爱因斯坦之于在他开创的领域拥有几知的是物理学的地位。他的名定性中隐藏着的问题,更早发现了随机不确翰·梅纳德·凯恩