丝瓜小说网

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

第166章（第2页）

‐封家书

那天我像平常一样，还在四面寻找陆地的踪迹，但还是一无所获。

海上寂寥，无以言表。

承蒙船长允准，我爬上了一根桅杆的顶端，此处高度早已超过船帆和烟囱。

我突然惊奇地发现了欧洲的地平线，细如发丝的一层绿色，浮现在水天之间。

我向下面喊话，叫松村君：&ldo;上来呀!快上来!&rdo;松村果然爬了上来，胆气雄壮，动作轻快。

我们一起爬在桅杆顶上，凝望欧罗巴大地。

&ldo;看哪!&rdo;我告诉他，&ldo;这就是我们第一份证据，证明地球果真是圆球形!当我们站在甲板上时，什么都看不到;而在这上面，就可以清楚地看到陆地。

这就证明了，海面实际上是弯曲的!如果海面弯曲，那不就证明了，整个地球表面都是弯曲的吗?&rdo;

松村大声说：&ldo;真了不起……正如你说的那样!地球真的是圆的!这是我们的第一份证据!&rdo;

‐‐森有礼，1854年

点金模

看来，巴黎新闻界并没有为女士的讲座尽力，因为这间不大的讲堂，连一半都没有坐满。

暗色折叠椅排成整齐的弧线，其中装点着数学家们星星点点的几颗光头，他们过于考究的夏日服装看起来多少有一些落伍。

最后三排座位被一群法国妇女俱乐部成员占据，她们在夏日的暑气里摇着折扇，很大声地互相交谈，因为台上这位女士讲演的步调她们早就跟不上了。

埃达&iddot;拜伦女士翻过一页讲稿，戴着手套的一根手指扶了扶夹鼻眼镜。

几分钟以来，一直有一只大大的绿色丽蝇，嘤嘤嗡嗡围绕着讲台飞来飞去。

现在它停止了飞行，停在埃达女士隆起的肩头，就在蕾丝与装饰带之间。

埃达女士看来完全没有留意这只精力充沛的害虫，仍用带有英国口音的法语继续讲述。

这位数字之母讲道:

&ldo;如果人与人之间的理论纷争，都可以被看做是更深层形式系统的表象，那么，我们的生活就会更加易于理解。

人们将无须继续受困于人类语言的歧义性，而可以通过一套固定、且具有精确定义的推理规则和公理，验证任何论断的准确性。

莱布尼兹就曾梦想着找到这样一套系统，它称之为&lso;描述宇宙共性的语言，……&rdo;

&ldo;但是所谓&lso;点金模&rso;程序的运行，却证明了任何形式系统，都将是不完全的，且无法证明其自身的协调性。

没有任何有穷的数学方法可以表达&lso;真实性&rso;概念的含义，拜伦猜想的无限性直接导致了巨型拿破仑机的损坏。

&lso;点金模&rso;程序启动了一系列互相嵌套的循环过程，这些过程的启动已经非常烦琐，要完成并消除这些循环的难度，甚至还要更大。

程序的确得到了执行，但是执行程序的载体却被彻底毁坏!这是一次惨痛的教训，证明了我们时代最强大的计算机，功能也还十分有限。

&ldo;但我的确相信，并且强烈向诸位保证，&lso;点金模&rso;程序中包含的引用自身的数学方法，将来有一天，可以成为一门真正先验的计算数学抽象系统的基石。

&lso;点金模&rso;已经证明了我的猜想，但是它的实际应用必须依靠功能特别强大的差分机才能实现，这种机器要有能力应付迭代过程中难以想象的复杂性和繁复性。

&ldo;我们这些生命有限的人类，却可以讨论一些无比复杂的概念，比如&lso;真实性&rso;，这不也是一件非常奇怪的事吗?但是，没有理智的机械世界，不正是以封闭性为其基本特征吗?而一个开放性的系统，不也正是有机体、生命和理智的定义吗?