懷特說:“將計算能力提升是很了不起的事情,需要了解計算複雜性問題,你有把握做好這些?”
丘奇說:“世界上最難的問題就是世界上最簡單的問題,多,到難以想象。能有簡單的方法嗎?如果有就會重新變得沒有簡單的方法。如果有了方法,那麽在更遠處就會也變得難數,就是借助複雜的機器,也會到崩潰的一天,就是讓很多機器分開去讀。”
懷特說:“假如有簡單方法可以解決,計算時間變短,效率變高。一段範圍在短時間之內解決嗎,幾分鍾甚至幾秒。那麽在這之後位長的,計算也變得容易。那麽更長的呢?那種很長很長,是任意長,能夠嗎?但是,不同的長應該是不同算法吧。如果是不同的長是相同算法的話,肯定是越長,算得越慢,是一個簡單的比例,所以長到一定程度,一定會變慢。所以這也算是沒有簡單方法,必須是一直有不同方法,或者是同種算法的不同情況,那也是一種難。”
丘奇說:“隨著提升計算器能力,以及計算簡化的改進,會慢慢解決。”
懷特說:“如果就是有,那就是有超長數解決,超長數後的也解決了,之後的無窮遠的也解決了。那麽解決的方式不是完全相等的,不同的數段所用的方法分別不同,而且能夠達到人類難以承受的程度,所以後麵的方法雖不能在前麵用,但在應該在後麵的的方法應該如在前麵時那樣簡單,所以後麵的,以及在往後一些的等等之時,應該是相對越來越簡單才可以。”
圖靈說:“如果要說是有簡便方法的話,那麽還需要在我們的意料之中才行,在意料之中這種稱之為是從前麵到後麵有一個我們所知的規律,那才能叫簡便方法的存在,那麽這個規律就是簡便方法規律,但是當達到一定多的程度時也會算不過來,所以這個方法規律也要分段,那也要有規律才行。所以以此類推,一直有這種規律,一直往上層推,才能為簡便方法的解決。一開始的多是第零層,那麽第一層,第二層,一直到更高層推導。所以層的問題就很重要了,一看到問題需要先確定層才行。”
懷特說:“分層也會遇到難題。而且數太多,計算太多,一開始需要做工作,很繁瑣。”
圖靈說:“看到問題了,確定層,就會先數層的數目,確定位數就能確定用哪一層。如果輸位數很慢,就分段數,使用分布式,就會快速解決問題。所以解決層的問題,就是使用多台機器計算。多台機器運行能夠解決一台機器的時間問題,當很多時,能計算出來多少台機器去計算最為合理嗎?這裏的合理指時間最短,機器盡可能不要太多,計算性也相對最簡單的情況。”
說著圖靈在黑板上開始畫著自己說的模型和公式。
懷特說:“一時望不到邊呢,那是近似無窮大問題,你的方案會解決這個嗎?能從開頭開始?如果是不同的方法解決,那就隻是一個半解決狀態,這種東西會存在嗎?換個思路,可以被解決,但不是一次性解決,因為以上的可能沒有規律,需要人不斷的去發現。也就是複雜計算一出現因為太大太強以至於在簡單時用不到,稱之為“以後用方法”。那麽人類能夠預測“以後用方法”嗎?那麽人類是不是已經有了一些人類意識不到的以後用方程了呢?”
圖靈說:“一道一個數字,長的望不到邊,怎樣才會這樣的,一張紙寫不滿,一本書寫不滿,那也能從紙和書上能夠確定。如果從一個地方不停的往這裏發送,才會有一種不確定何時結局的感覺,那麽在此刻,能夠被解決嗎?如果不能是因為下一位數的不確定性所導致。那麽在可以分段解決嗎?多可以被分段解決了嗎?假如不知道整體的,每個部分都相應解決一些東西,就可以解決嗎?”
哥德爾說:“輕易用不到層層的問題,太偏。”
圖靈說:“層的問題的意料之中的方式,以及層層之間的意料之中最終有一最高層,那一個層就是一個方法了,這個意料之中的整體稱之為“意料中方法大三角”。如果夠大,意料大三角也會比較複雜,因為層數太多,所以推敲不同層的上下關係的式子也需要有規律,稱之為“大三角層高規律”。而這個大三角層高規律也必須用起來簡單,但是當太大時會出現極度複雜情況,所以“大三角層高規律也會出現對於的大三角層高規律”,稱之為“三角層層規律。”以此類推需要有三角層層規律的人類難以承受的運算的三角層層層規律。達到多少個三角層層層稱之為,方法層層三角規律,那要畫成一個形狀就是,一個高維三角形的形狀的單形。”
丘奇說:“世界上最難的問題就是世界上最簡單的問題,多,到難以想象。能有簡單的方法嗎?如果有就會重新變得沒有簡單的方法。如果有了方法,那麽在更遠處就會也變得難數,就是借助複雜的機器,也會到崩潰的一天,就是讓很多機器分開去讀。”
懷特說:“假如有簡單方法可以解決,計算時間變短,效率變高。一段範圍在短時間之內解決嗎,幾分鍾甚至幾秒。那麽在這之後位長的,計算也變得容易。那麽更長的呢?那種很長很長,是任意長,能夠嗎?但是,不同的長應該是不同算法吧。如果是不同的長是相同算法的話,肯定是越長,算得越慢,是一個簡單的比例,所以長到一定程度,一定會變慢。所以這也算是沒有簡單方法,必須是一直有不同方法,或者是同種算法的不同情況,那也是一種難。”
丘奇說:“隨著提升計算器能力,以及計算簡化的改進,會慢慢解決。”
懷特說:“如果就是有,那就是有超長數解決,超長數後的也解決了,之後的無窮遠的也解決了。那麽解決的方式不是完全相等的,不同的數段所用的方法分別不同,而且能夠達到人類難以承受的程度,所以後麵的方法雖不能在前麵用,但在應該在後麵的的方法應該如在前麵時那樣簡單,所以後麵的,以及在往後一些的等等之時,應該是相對越來越簡單才可以。”
圖靈說:“如果要說是有簡便方法的話,那麽還需要在我們的意料之中才行,在意料之中這種稱之為是從前麵到後麵有一個我們所知的規律,那才能叫簡便方法的存在,那麽這個規律就是簡便方法規律,但是當達到一定多的程度時也會算不過來,所以這個方法規律也要分段,那也要有規律才行。所以以此類推,一直有這種規律,一直往上層推,才能為簡便方法的解決。一開始的多是第零層,那麽第一層,第二層,一直到更高層推導。所以層的問題就很重要了,一看到問題需要先確定層才行。”
懷特說:“分層也會遇到難題。而且數太多,計算太多,一開始需要做工作,很繁瑣。”
圖靈說:“看到問題了,確定層,就會先數層的數目,確定位數就能確定用哪一層。如果輸位數很慢,就分段數,使用分布式,就會快速解決問題。所以解決層的問題,就是使用多台機器計算。多台機器運行能夠解決一台機器的時間問題,當很多時,能計算出來多少台機器去計算最為合理嗎?這裏的合理指時間最短,機器盡可能不要太多,計算性也相對最簡單的情況。”
說著圖靈在黑板上開始畫著自己說的模型和公式。
懷特說:“一時望不到邊呢,那是近似無窮大問題,你的方案會解決這個嗎?能從開頭開始?如果是不同的方法解決,那就隻是一個半解決狀態,這種東西會存在嗎?換個思路,可以被解決,但不是一次性解決,因為以上的可能沒有規律,需要人不斷的去發現。也就是複雜計算一出現因為太大太強以至於在簡單時用不到,稱之為“以後用方法”。那麽人類能夠預測“以後用方法”嗎?那麽人類是不是已經有了一些人類意識不到的以後用方程了呢?”
圖靈說:“一道一個數字,長的望不到邊,怎樣才會這樣的,一張紙寫不滿,一本書寫不滿,那也能從紙和書上能夠確定。如果從一個地方不停的往這裏發送,才會有一種不確定何時結局的感覺,那麽在此刻,能夠被解決嗎?如果不能是因為下一位數的不確定性所導致。那麽在可以分段解決嗎?多可以被分段解決了嗎?假如不知道整體的,每個部分都相應解決一些東西,就可以解決嗎?”
哥德爾說:“輕易用不到層層的問題,太偏。”
圖靈說:“層的問題的意料之中的方式,以及層層之間的意料之中最終有一最高層,那一個層就是一個方法了,這個意料之中的整體稱之為“意料中方法大三角”。如果夠大,意料大三角也會比較複雜,因為層數太多,所以推敲不同層的上下關係的式子也需要有規律,稱之為“大三角層高規律”。而這個大三角層高規律也必須用起來簡單,但是當太大時會出現極度複雜情況,所以“大三角層高規律也會出現對於的大三角層高規律”,稱之為“三角層層規律。”以此類推需要有三角層層規律的人類難以承受的運算的三角層層層規律。達到多少個三角層層層稱之為,方法層層三角規律,那要畫成一個形狀就是,一個高維三角形的形狀的單形。”