假定主张是真的。正如我自己主张一样我说的是『假话』」
「嗯」
「不过,那样就产生矛盾了。『我说的是假话』,可是一开始我就坦白『我说的是假话』。明明说了假话,却又没说假话」
「啊……原来如此」的确是这样。
「好了,这次反过来我说的是假话,假定主张是假的」
「『我说的是假话』这个这个主张是假的,所以我就是个『老实人』吗。……唔,慢着。那样的话,还是和『我说的是假话』这个主张不一致——吗?」
「就是这回事。『我是个老实人』。但是却撒『我说的是假话』这种没必要撒的谎。明明是老实人,却说假话。因此这也自相矛盾。」
「又是矛盾吗」
「就是这样——无论我的主张是真是假,双方都产生矛盾,没办法确认是真还是假。同样,数学中也存在无法确认真伪,不可能决定的问题——叙述这种事的,就是哥德尔的不完全性定理」
「已经达到禅问的领域了……」
真是让人漫无头绪。相反,室火野小姐笑着说,
「哎,原来有这种事啊。不过,你真了解呢,小莺」
「谢谢」莺面露笑容,「不过还没结束的。室火野小姐」
「呵呵。怎么说?」
「哥德尔的不完全性定理,证明了数学这个逻辑系统当中潜藏着意想不到的“黑暗”」
「黑暗?」
好像在哪听过。
莺点了点头,
「没错。之前向阿让你说明过吧。科学上,证明道理在受到观测才会成为理论。所以世上所有无法观测的——既然人类存在极限,就会存在世上不可能决定的“黑暗”。科学无法说明我们世界上的一切。阿让,你还记得吗?」
「就算是我也不会忘记这种最近的事啊」
「虽然对你这个发言多少有些异议,但现在就先放在一边——实际上啊,在这样的自然科学当中,也有唯一被视为例外的东西。那就是数学了」
「为什么只有数学受到这种特殊对待」
「因为数学是不依存物质的纯粹逻辑。也就是,没必要观测确认」
「啊,这样啊。的确是」
原来如此。非常浅显。
无法观测并确认——才无法得出正确答案
那么,一开始便不需要物理观测的话就解决问题了,
「所以数学上被证明为真实的事实是绝对不会变的。三角形的内角总和总是一百八十度。那是宇宙诞生那瞬间起已经是这样,如今也一样。今后也是如此。被证明的事实是不变的,然后这个不变的事实,又再推导出新的不变事实。如此像逐步登上阶梯一样,数学能解明世界上所有迷团。正是唯一被容许到达世界真理的神的学问。很多人是如此相信的。
然而。
数学这种纯粹逻辑也难免——不,应该说正因为数学是纯粹逻辑,才会有绝对解不开的迷团。始终也存在无法再向前进步,不可能决定的黑暗。不完全性定理证明了这一点」
烟雾袅袅飘荡。
「那」我说「比如说,怎样的问题是这种不可能决定的问题?没办法预先调查出来吗」
「——非常好。麻生丹君」
突然被博士招声,我吓了一跳。
「这种构想的转换正是人类所必须的。很出色」
「啊,啊……」受夸奖了。「过奖了」
「阿让。很可惜。杜林(AlanMathisonTuring)证明了『某个命题是否可能决定,也是不可能判断的』。」
「总的来说,就是没办法搞清楚哪个问题可以解明,哪个问题无法解明,是吗」
「就是这回事」
我不禁沉吟。
但是听了就已经感到佩服。居然会有思考这种事,而且还证明出来的人在。
天才,吗。
听了也让人没了主意,最让人慌神的是,天才其实现在,就在我们眼前的事实。
「不过真是讽刺啊,没办法一帆风顺。无论科学还是数学,越是进步便越是会出现绝对无法了解的事情」
「是啊。所以现在,部分人也采取将公理系,也就是将基本规则重新研究的方法」
「重新研究?……喂喂,该不会是1加1会变成3吧」
「不会啦。假如1加1会变成2以外那就是天翻地覆了。不是这样——对了,拿象棋作比方,棋子走法不变,但棋盘换成更大的,就是类似这种情形吧」
果然我完全不懂。莺稍作思考后,
「试想起刚才我的自我主张吧,阿让。『我说的是假话』这个主张,结果不可能证明对吧?」
「啊—」
「不过,那是单凭我的说话来判断,比如说假如这时候加上阿让的证言就不会吧」
「我的?」
「假如阿让以前曾经被我骗过,那就留下确切的证据了。假如阿让将其提出说『鹫见原莺说的是假话』。这样的话我的主张就毫无疑问能证明是真的。反过来,我过去一次也未曾说过谎,也留下了这个证据,阿让将其提出说『鹫见原莺是个老实人』的话,我的主张就能证明是假的了」
「那当然了」
「也就是说,任何事情,提及自身时,单凭自己的话是无法证明真伪的。那么就必定非拿出自我主张以外的客观证据不可。而数学也同样」
「啊……就是虽然『数学是正确的』,但那是只靠『数学』说明本身的正确性而已,不知道是否真的正确——这样吗?」
「没错」莺笑着说「『数学』的确能非常逻辑地对自身进行说明,其内容也完全没有矛盾。所以认为是正确的。不过始终只是自己说了算,不清楚是否当真。所以,以更大的视点来定义数学的规则,脱胎换骨成为『新数学』,客观地证明过去的『数学』的正确性」
呃。似乎话题又变得让人漫无头绪了。
「啊……不过,这种说法有点那个,那不就像是权宜之计,或者是对症疗法吗?的确也许能证明『数学』的正确性,但不久,就不得不证明将其证明的『新数学』的正确性了吧?这样范围又再扩大,作证明,但又再不得不证明正确性所以又再扩大范围——没完没了啊」
「是啊」
「你这算什么反应」
「没办法啊。人类没法无所不知。——人类终究只能保证相对的正确」
「正是如此,鹫见原君」博士说。「数学终究是人类的逻辑。既然身为人类,就必定存在着极限。根据不完全性定理得知的黑暗,也许就是这个极限的证明。不过——」
非打破极限不可,博士说。
「走过谁也未曾踏进的新地域。人被赐予的资质就是为此而存在。这正是人类的意义」
主导权再次转到博士手上。
我想,也就是这回事吗。
走过人迹未到之地正是人类的意义。
不过,黑暗是存在于人类无法触及的领域。
那么,要解决这个矛盾,非借助人类以外的力量不可吗?而这……没错。
会回应凡人的只有恶魔。
看来……可以问他了吧。我如此判断。对。不能错过这个机会。博士的魔术究竟是怎样的。博士靠此而得到了才能吗——
「博士」
但是。
那并不是我的声音。
比我更早发言的,是姬鸣小姐。
「什么事。姬鸣君」
「……我也有事想请教」
「请说」
受博士催促,姬鸣小姐带着依旧严厉的眼神说。
「……能受邀请来到至今未曾向外敞开大门的麒麟馆,对此我深感荣幸。不过,其真意是为何呢?我认为博士定是有所用意,这是我的拙见。」
这也是莺指出的问题。
——博士性格孤僻。但却宴请客人。
——所以,博士是有所企图。
所有人的视线都对着博士。似乎谁也在意这点。提问的姬鸣小姐就不用说,连千代边小姐也——就是说谁也不知道自己被邀请的原因吗?
博士在大家的注视下,徐徐开口。
「我至今曾处理过多种工作。今后也会继续下去。本来也别无他事可做。不过,道路难说是平坦。」
仿佛回首往昔的口吻。想必是想起不被周围理解的过去吧。
「一路走来的结果,我认为,人的资质必须被正确理解。不被周围理解而被埋没才能。我无法坐视这种事情发生。所以我创立(Class)接纳这些会被埋没的才能。自此以来众多的才能在
聚集,自立——在本日,迎来了十周年的纪念。对此我得到一定的满足。当然今后也会长存,务必接纳更多才能。不过,我认为我作为创立人的职责已经结束了」
博士说。
「因此,我自本日起不再过问的运营,其后的一切将完全交给继承人」
继承人?
「哎,那可真