第169頁(第2/2 頁)

驗，被分解，被一遍遍無窮疊代。

在這座城市的正中，有一件東西在成形，那是一棵催化著自己，演化著自身的演算之樹，幾乎像是一個生命體。它透過思想的根苗吸取營養，受益於自身記憶中凋落的種種印象，並且透過數以千萬計光亮的枝丫，在通往充滿隱秘啟示的道路上不斷地分叉，向上，向上……

在死亡的邊緣等待新生。

那光如此強烈，

那光如此清晰，

那隻眼，終歸要看到它自己我自己……

我明白：

我已看見，

看到了我自己!

該部分的文字，儘管都有出處和精確的時間，但絕大部分都是虛構和杜撰的。除極少數關鍵之處以外，不再一一註明。

&ldo;點金模&rdo;之所以導致拿破崙計算機崩潰，是因為裡面使用了現代程式設計中的所謂&ldo;遞迴&rdo;運算。計算量太大，超過了當時機器的能力極限。而此程式的目的，在於驗證兩個假設：首先，是否能提出適用於一切領域，可以描述一切問題的形式語言系統;其次，這套系統的邏輯一致效能否得到證明。

德國哲學家、邏輯學家。數學家。歷史上較早提出形式語言設想的人之一。

這裡所說的，實際上是對二十世紀上半期兩大邏輯學成果的概括：即&ldo;歌德爾第一不完全性定理&rdo;和&ldo;協調性證明&rdo;。從史實來看，這不是埃達&iddot;拜倫的研究成果，卻是任何人工智慧研究的基礎。

一種德國礦泉水。

法語，不是嗎?

法語：再見!祝你好運!

法語：差分機世界的女王。

後記

注意：宋體為布魯斯&iddot;斯特林所寫，仿宋體為威廉&iddot;吉布森所寫。

</br>

<style type="text/css">

banners6 { width: 300px; height: 250px; }

dia (-width:350px) { banners6 { width: 336px; height: 280px; } }

dia (-width:500px) { banners6 { width: 468px; height: 60px; } }

dia (-width:800px) { banners6 { width: 728px; height: 90px; } }

dia (-width:1280px) { banners6 { width: 970px; height: 250px; } }

</style>

<s class="adsbygoogle banners6" style="display:le-block;" data-full-width-responsive="true" data-ad-client="ca-pub-4468775695592057" data-ad-slot="8853713424"></s>

</br>

</br>