第166頁(第2/3 頁)

排座位被一群法國婦女俱樂部成員佔據，她們在夏日的暑氣裡搖著摺扇，很大聲地互相交談，因為臺上這位女士講演的步調她們早就跟不上了。

埃達&iddot;拜倫女士翻過一頁講稿，戴著手套的一根手指扶了扶夾鼻眼鏡。幾分鐘以來，一直有一隻大大的綠色麗蠅，嚶嚶嗡嗡圍繞著講臺飛來飛去。現在它停止了飛行，停在埃達女士隆起的肩頭，就在蕾絲與裝飾帶之間。埃達女士看來完全沒有留意這隻精力充沛的害蟲，仍用帶有英國口音的法語繼續講述。

這位數字之母講道:

&ldo;如果人與人之間的理論紛爭，都可以被看做是更深層形式系統的表象，那麼，我們的生活就會更加易於理解。人們將無須繼續受困於人類語言的歧義性，而可以透過一套固定、且具有精確定義的推理規則和公理，驗證任何論斷的準確性。萊布尼茲就曾夢想著找到這樣一套系統，它稱之為&l;描述宇宙共性的語言，……&rdo;

&ldo;但是所謂&l;點金模&r;程式的執行，卻證明瞭任何形式系統，都將是不完全的，且無法證明其自身的協調性。沒有任何有窮的數學方法可以表達&l;真實性&r;概念的含義，拜倫猜想的無限性直接導致了巨型拿破崙機的損壞。&l;點金模&r;程式啟動了一系列互相巢狀的迴圈過程，這些過程的啟動已經非常煩瑣，要完成並消除這些迴圈的難度，甚至還要更大。程式的確得到了執行，但是執行程式的載體卻被徹底毀壞!這是一次慘痛的教訓，證明瞭我們時代最強大的計算機，功能也還十分有限。

&ldo;但我的確相信，並且強烈向諸位保證，&l;點金模&r;程式中包含的引用自身的數學方法，將來有一天，可以成為一門真正先驗的計算數學抽象系統的基石。&l;點金模&r;已經證明瞭我的猜想，但是它的實際應用必須依靠功能特別強大的差分機才能實現，這種機器要有能力應付疊代過程中難以想像的複雜性和繁複性。

&ldo;我們這些生命有限的人類，卻可以討論一些無比複雜的概念，比如&l;真實性&r;，這不也是一件非常奇怪的事嗎?但是，沒有理智的機械世界，不正是以封閉性為其基本特徵嗎?而一個開放性的系統，不也正是有機體、生命和理智的定義嗎?

</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>