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