區塊鏈以太坊圖靈

❶ 帶你深入理解圖靈機--天才所在的時代

這幾年由於區塊鏈的大熱，以太坊獨特的solidity語言實現智能合約功能， 圖靈完備 這個詞走進大家的視線。

沒有計算機專業知識的同學其實很難理解這個詞的意思，其實計算機專業的同學都沒有深入理解圖靈機，圖靈完備，圖靈測試等概念包含的內涵。為了方便理解區塊鏈技術，理解智能合約，筆者准備分幾篇文章來帶大家從淺入深，一步一步帶你深入理解圖靈機，相信通過這幾篇文章能就能夠理解什麼是圖靈完備。

艾倫·麥席森·圖靈（Alan Mathison Turing，1912年6月23日－1954年6月7日），英國數學家、邏輯學家， 被稱為計算機科學理論之父，人工智慧之父。

1931年，圖靈考入劍橋大學國王學院，由於成績優異而獲得數學獎學金。

1936年5月，年僅24歲的圖靈發表一篇題為《論數字計算在決斷難題中的應用》的論文，論文中提出一種計算裝置，後被稱為 「圖靈機」 ，圖靈機不是具體的計算機，而是一種計算概念、計算理論。

1938年在普林斯頓獲博士學位，其論文題目為「以序數為基礎的邏輯系統」，在數理邏輯研究中產生了深遠的影響；同年圖靈回到英國，在劍橋大學國王學院任研究員。

第二次世界大戰期間，1939年圖靈到英國外交部通信處從事軍事工作，主要是破譯敵方密碼的工作。由於破譯工作的需要，他參與了世界上最早的電子計算機的研製工作。他的工作取得了極好的成就，破譯了德國人Enigma密碼，於1945年獲政府的最高獎——大英帝國榮譽勛章。

1945年，圖靈結束了在外交部的工作，他試圖恢復戰前在理論計算機科學方面的研究，具體研製出新的計算機來。

1950年他發表論文《計算機器與智能》（ Computing Machinery and Intelligence），為後來的人工智慧科學提供了開創性的構思。提出著名的 圖靈測試 。

1950年，1950年10月，圖靈發表論文《機器能思考嗎》。這一劃時代的作品，使圖靈贏得了「人工智慧之父」的桂冠。此時，人工智慧也進入了實踐研製階段。隨著這幾年AI技術的不斷成熟，人們越來越認識到圖靈思想的深刻性：它們至今仍然是人工智慧的主要思想之一。

1954年6月7日，年僅41歲的圖靈被發現死於家中的床上，床頭還放著一個被咬了一口的蘋果。這就是現在大名鼎鼎的蘋果電腦公司logo的來源。

從圖靈的生平中，我們知道，他出生在20世紀初，1912年。
在世界國家格局上，這個時候剛剛爆發第一次世界大戰（1913~1921），緊接著1939年至1945年第二次世界大戰，大家知道，這兩次世界大戰倒逼了很多科技的發展，二戰期間恰好是圖靈青年時代。

在科技文明發展上，由於邏輯的數學化，促使了數理邏輯學科的誕生和發展。但同時這個時期數學上發生了第三次數學危機，具體介紹在下方。圖靈在劍橋讀大學期間，修讀了「數學基礎」課程，授課人是紐曼，紐曼整個課程包含對哥德爾不完備性定理的證明和尚未解決的判定性問題。

這些科技事件的背後，其實是人們在認知上，對 可計算性理論 的研究，圖靈正是這個問題終結者。

隨便提一下，愛因斯坦1905年提出狹義相對論，1927年年僅15歲的圖靈為了幫助母親理解相對論，還寫過論文的摘要。

在20世紀以前，人們普遍認為，所有的問題類都是有演算法的，人們的計算研究就是找出演算法來。1900年，當時著名的大數學家希爾伯特在世紀之交的數學家大會上給國際數學界提出了著名的23個數學問題。
其中第十問題是這樣的：

「丟番圖方程」指：有一個或者幾個變數的整系數方程，它們的求解僅僅在整數范圍內進行。
上面這個問題簡單點解釋是：隨便給一個不確定的方程，是否通過有限的步驟運算，判斷這個方程是否存在整數解。

這個問題在1970年，蘇聯一個數學家證明了其實很多數學問題，是沒有答案，甚至沒有答案的問題比有答案的問題還要多。

這里就提出來了有限的、機械的證明步驟的問題，其實就是演算法。但在當時，人們還不知道「演算法」是什麼。實際上，當時數學領域中已經有很多問題都是跟「演算法」密切相關的，因而，科學的 「演算法」 定義呼之欲出。之後到了30年代的時候，終於有兩個人分別提出了精確定義演算法的方法，一個人是圖靈，一個人是丘奇。而其中圖靈提出來的圖靈機模型直觀形象。

圖靈思考這個問題的方式和常人不一樣，在寫前面提到的論文《論可計算數及其在判定性問題上的應用》的時候，圖靈在思考三個問題

圖靈這樣的天才考慮問題的認知是高屋建瓴的。
圖靈首先考慮的是是否所有數學問題都用解，如果這個問題不解決，辛辛苦苦解題，最後發現無解，一切的努力都是浪費時間和精力。

對於存在答案的數學問題，只有部分是可以在有限步驟內完成，這樣把計算機的邊界確定下來了。

確定了邊界之後，就要設計一種通用、有效、等價的機器，保證可以按照這個方法做事，最後得到答案。而圖靈機就是圖靈設計出來的這樣的一個機器，嚴格來講是一種數學模型、計算理論模型。

從圖靈機提出到現在已經過去了80多年，今天所有的計算機，包括量子計算機都沒有超出圖靈機的理論范疇。

第三次數學危機產生於十九世紀末和二十世紀初，當時正是數學空前興旺發達的時期。首先是邏輯的數學化，促使了數理邏輯這門學科誕生。

早在19世紀末的時候，康托爾為集合論做了奠基性的研究。人們發現，運用集合這個概念可以概括所有的數學，也就是說集合是一切數學的基礎。然而就當這座大廈即將完工的時候，一件可怕的事情發生了，羅素提出來的羅素悖論粉碎了數學家的夢想。

關於羅素悖論的一個通俗化版本是：

為什麼要第三次數學危機呢？
因為有個很重要的概念： 停機問題 ，停機問題是邏輯數學中可計算性理論中很重要的問題，也是第三次數學危機的解決方案。
停機問題 通俗地說，停機問題就是判斷任意一個程序是否能在有限的時間之內結束運行的問題。該問題等價於如下的判定問題：是否存在一個程序P，對於任意輸入的程序w，能夠判斷w會在有限時間內結束或者死循環。

有人猜測圖靈機模型是圖靈在思考 停機問題 而順帶設計出來的，是很有道理的。

圖靈在劍橋大學國王學院期間，研究過一本叫做《量子力學的數學基礎》的新書，這本書由年輕的匈牙利數學家約翰·馮·諾依曼所著。圖靈意識到計算可以用確定性的機械運動來進行表示。其實我們現在的電子計算機雖然不是我們傳統意義上的機械，但是CPU內部的電子運動等價於機械運動。

同時圖靈也意識到人的思想、意識來自於量子力學中的測不準原理，這不光是微觀世界，同時也是這個宇宙本身的規律。所以圖靈意識到計算是確定性的，可判定的，而意識是不定的，不可計算的。

在AI人工智慧有巨大發展的今天，很多人擔心計算機是否會和人一樣有意識，其實圖靈在80多年前已經考慮過這個問題了。

前面提到，圖靈在1950年寫過一篇論文《計算機器與智能》，在這篇論文中，圖靈測試一詞被提出來：

這個測試有多難？目前我們所有的人工智慧都沒有完成這個測試。最近2018年3月份的谷歌I/O大會上演示的AI產品，據說「部分通過圖靈測試」。這個部分到底有多少也未可知。

從人類科技發展的歷史上來看，19世紀末到20世紀中期，是第二次工業革命和第三工業革命過渡的時期。第二次工業革命主要電和磁、內燃機的發明和使用，發展到這個時候科學家對世界的認知越來越多，越來越清晰，物理學和數學等自然科學發展迅速。這個時候的數學家發現很多現象可以用數學模型來表示，從物體的運動到星球的運動、從熱能到動能的轉換、從電到磁的轉換等等。那問題來了是否所有的現象都可以用數學模型來表達呢？真是這個問題，讓人們對數學很多根本性問題進行思考和研究。

中國有句古話說：亂世出英雄。在圖靈的時代，在科學歷史上出了很多的科學英雄，包括愛因斯坦、馮諾依曼、圖靈、哥德爾等等，一方面是時代背景使然，一方面真是他們的天賦和努力讓以信息化為代表的第三次工業革命的進程大大加快了。

從這些巨匠的思考問題，解決問題的方法和認知來看是超出常人的。從對 可計算性理論 的思考，給了我們很大的啟示：

**更多有關區塊鏈的技術與思維，可掃碼加入我的小密圈。在這里，我陪著你，大家一起研究區塊鏈技術，探討區塊鏈思維，預測區塊鏈未來，一起做未來前10%的人

**

❷ 區塊鏈以太坊是什麼軟體,以太坊區塊鏈是什麼意思怎麼賺錢

以太坊是什麼？

以太坊是一個開源的有智能合約功能的公共區塊鏈平台，通過其專用加密貨幣以太幣提供去中心化的以太虛擬機來處理點對點合約。

以太坊的概念首次在2013至2014年間由程序員VitalikButerin受比特幣啟發後提出，大意為「下一代加密貨幣與去中心化應用平台」，以太幣是市值第二高的加密貨幣，僅次於比特幣。

以太坊協議將盡可能簡單，即便以某些數據存儲和時間上的低效為代價。這將最終有助於降低任何特殊個人或精英團體可能對協議的影響並且推進以太坊作為對所有人開放的協議的應用前景。

(2)區塊鏈以太坊圖靈擴展閱讀：

以太坊是一個平台，它上面提供各種模塊讓用戶來搭建應用，如果將搭建應用比作造房子，那麼以太坊就提供了牆面、屋頂、地板等模塊；

用戶只需像搭積木一樣把房子搭起來，因此在以太坊上建立應用的成本和速度都大大改善。具體來說，以太坊通過一套圖靈完備的腳本語言來建立應用，它類似於匯編語言。直接用匯編語言編程是非常痛苦的；

但以太坊里的編程並不需要直接使用EVM語言，而是類似C語言、Python、Lisp等高級語言，再通過編譯器轉成EVM語言。

❸ 什麼是以太坊

以太坊是一個開源的區塊鏈平台，擁有智能合約功能，通過加密貨幣以太幣支持去中心化的應用處理。以下是對其關鍵特點和功能的概述：

以太坊是一個去中心化的平台，設計目的是克服比特幣在擴展性和靈活性上的局限。它採用通用原則，允許用戶通過圖靈完備的腳本語言創建各種智能合約，包括但不限於金融、物聯網和自動化應用。它的設計注重簡潔、模塊化和無歧視，以保證協議的開放性和公正性。

作為應用基礎，以太坊提供了一套編程工具，允許用戶像搭積木一樣構建各種應用，如儲蓄賬戶、子貨幣等。其智能合約是核心，通過EVM處理交易，執行合約邏輯，支持無限可能的業務場景。

自2013年成立以來，以太坊經歷了快速的發展，吸引了眾多金融機構和科技公司的關注，成為第二代加密貨幣平台的代表。然而，它也存在爭議，如智能合約中的龐氏騙局風險和市場操縱問題。盡管如此，以太坊仍在不斷推動金融創新，如去中心化金融和物聯網應用的實現。

實現上，以太坊的應用范圍廣泛，包括去中心化投資、社會經濟平台、預測市場、物聯網應用等。此外，企業也在探索以太坊在企業軟體、移動支付和金融隱私保護等領域的潛力。