“你肯定——”他戛然而止,却太晚。她瞪着他。她当然清楚他想说
是什
。不知她
目光是什
意思。
“你懂吗?”雷内道,“已经推翻
大半个数学:这门学问全都没意义
。”
她焦躁起来,几乎快发疯。卡尔小心翼翼地选择着字眼,“你怎
能这
说?数学仍然有作用。科学和经济并不会因为你这个领悟而突然崩溃
。”
“这是因为他们使用数学纯粹是骗人
把戏。是
种口诀式
小玩意儿,跟用指关节来计算哪些月份有三十
天
样。”
“不样。”
“不对。没有不符合规则运算,没有不严谨
术语,没有想当然假定
独立公理,全都没有。证明过程绝对没有采用任何规则禁止
东西。”
卡尔摇摇头。“等
下。显然
和二是不相等
。”
“但在形式上它们是相等:证明就在你手里。
使用
切方法都是绝对无可争议
。”
“但这儿不就是矛盾吗?”
“说对。也就是说,算术作为
种形式系统,是不
致
。”
,但却无法证明绝对不会遇到。
6a
卡尔再次走进雷内书房。她站在书桌跟前,抬头看他。他鼓起勇气说:“雷内,显然是——”
她打断她话,“你想知道
烦恼
原因吗?好吧,
告诉你。”说着雷内便拿出
张白纸,坐在书桌跟前,“等
下,这需要
点时间。”卡尔又张开嘴,但雷内挥手示意他保持沉默。接着,她深深地吸
口气,开始写起来。
她画条线,穿过纸
中央,将纸分成两栏。然后,她在
行
顶部写下数字1,另
行
顶部写下数字2。接着在这两个数字下面迅速潦草地画
些符号,又在这些符号下面
行列里把它们扩展成
串串别
符号。她边写边咬牙切齿,写下那些文字时,感觉好像她正用指甲刮过黑板似
。
“为什不
样?现在,数学与现实绝对毫无关系。且不说像虚数或者无穷小数之类
概念,现在,就连该死
整数加法都跟用指头计算毫无关系。你用指头计算,
加
始终等于二,但在纸上
可以给你无穷多
答案,这些答案全都同样有效,这意味着它们全都同样无效。
可以写出
6b
“你找不出错误来,这就是你意思吗?”
“不对,你没有听。你以为是因为这种情况才焦头烂额
吗?证明本身并没有错误。”
“你意思是说,用
方法都是对
,结果却出
错?”
“正确。”
写到纸三分之二左右时,雷内开始将长串长串
符号减少成连续
短串符号。她心里想,现在要到关键处
。她意识到自己在纸上用力过重
,下意识地放松握在手中
铅笔。在她下面写出
那
行上,符号串变成相等
。接着,她重重地写
个“=”号,横过纸
底部中心线。
她将纸递给卡尔。他望着她,表示看不懂。“看看顶部吧。”他照办
,“再看
看底部。”
他眉头紧锁。“还是看不懂。”
“发现
种体系,可以使任何数字等于任何别
数字。这张纸上就证明
和二是相等
。你随便挑两个数字,
都可以证明它们是相等
。”
卡尔似乎竭力在回忆什。“里面肯定出现
以零为被除数
情况,对吗?”
请关闭浏览器阅读模式后查看本章节,否则可能部分章节内容会丢失。