圖靈鑒定
圖靈計算
圖靈密碼
圖靈可計算
圖靈量子
圖靈機器人
圖靈計算機是基於液冷GPU服務器、大數據一體機等技術，應用於大數據、人工智能、元宇宙等領域。
在(zai)哥(ge)德(de)爾(er)研(yan)究(jiu)成(cheng)果(guo)的(de)影(ying)響(xiang)下(xia)，二(er)十(shi)世(shi)紀(ji)三(san)十(shi)年(nian)代(dai)後(hou)期(qi)圖(tu)靈(ling)從(cong)計(ji)算(suan)一(yi)個(ge)數(shu)的(de)一(yi)般(ban)過(guo)程(cheng)入(ru)手(shou)對(dui)計(ji)算(suan)的(de)本(ben)質(zhi)進(jin)行(xing)研(yan)究(jiu)，從(cong)而(er)實(shi)現(xian)對(dui)計(ji)算(suan)本(ben)質(zhi)的(de)真(zhen)正(zheng)認(ren)識(shi)。該(gai)成(cheng)果(guo)不(bu)僅(jin)再(zai)次(ci)表(biao)明(ming)某(mou)些(xie)數(shu)學(xue)問(wen)題(ti)是(shi)不(bu)能(neng)用(yong)任(ren)何(he)機(ji)械(xie)過(guo)程(cheng)來(lai)解(jie)決(jue)的(de)思(si)想(xiang)而(er)且(qie)還(hai)深(shen)刻(ke)揭(jie)示(shi)計(ji)算(suan)所(suo)具(ju)有(you)的(de)能(neng)行(xing)過(guo)程(cheng)的(de)本(ben)質(zhi)特(te)征(zheng)。描(miao)述(shu)的(de)是(shi)關(guan)於(yu)數(shu)值(zhi)計(ji)算(suan)知(zhi)道(dao)英(ying)文(wen)字(zi)母(mu)表(biao)的(de)字(zi)母(mu)以(yi)及(ji)漢(han)字(zi)均(jun)可(ke)以(yi)用(yong)數(shu)來(lai)表(biao)示(shi)，計(ji)算(suan)的(de)每(mei)一(yi)過(guo)程(cheng)都(dou)可(ke)以(yi)用(yong)字(zi)符(fu)串(chuan)的(de)形(xing)式(shi)進(jin)行(xing)編(bian)碼(ma)，並(bing)存(cun)放(fang)在(zai)存(cun)儲(chu)器(qi)中(zhong)，以(yi)後(hou)使(shi)用(yong)時(shi)譯(yi)碼(ma)並(bing)由(you)處(chu)理(li)器(qi)執(zhi)行(xing)。
圖靈可計算理論和人工智能現狀
可計算理論起源於1930，貢獻者包含圖靈、邱奇、哥德爾等。其中哥德爾的理論被稱為哥德爾不完備定理，邱奇和圖靈的理論合稱邱奇-圖靈論題。這些成果形成現代的圖靈可計算概念。
圖tu靈ling機ji是shi一yi種zhong標biao準zhun的de計ji算suan模mo型xing。任ren何he可ke計ji算suan問wen題ti，都dou可ke以yi通tong過guo圖tu靈ling機ji來lai進jin行xing計ji算suan。不bu可ke計ji算suan數shu，或huo者zhe叫jiao做zuo超chao越yue數shu，就jiu是shi圖tu靈ling機ji無wu法fa計ji算suan的de數shu。
現代計算機的計算模型其實就是一種通用圖靈機，Stephen Wolfram的110號元胞自動機，也等價於通用圖靈機。
計算
越接近現代，計算就顯得越重要。
算力不隻是可以挖點比特幣，也不是遊戲或者英雄電影。
新xin的de科ke技ji發fa展zhan是shi充chong分fen模mo型xing的de能neng力li和he計ji算suan的de優you勢shi。模mo擬ni可ke以yi類lei比bi為wei科ke學xue，而er擬ni真zhen可ke以yi類lei比bi為wei技ji術shu。科ke學xue應ying用yong於yu技ji術shu，可ke以yi類lei比bi於yu使shi用yong計ji算suan模mo擬ni以yi了le解jie其qi工gong作zuo原yuan理li，然ran後hou擬ni真zhen到dao真zhen實shi世shi界jie，以yi替ti代dai現xian有you的de其qi他ta功gong能neng。
如果有人告訴你，計算機無論多快，部署的計算無論有多多，其實它的計算是有極限的呢？
這其實就是人工智能的奠基者，圖靈的工作。
人工智能越是發展，越需要回歸圖靈。
不可判定、不完備
不可計算及其比較分析
不可判定
一個圖靈機輸入一個字符串之後，可能進入3種狀態：接受、拒絕、循環（即不停機）。對於一種語言A，其中任意字符串ω，總能設計一個圖靈機M，將ω輸入M後，M進入接受狀態，並停機。圖靈機由有限的字符編碼而成，任何一台圖靈機均可表述為一個字符串。比如圖靈機M，其字符串為，它描寫一個圖靈機。可以看作程序，ω就是輸入。有通用圖靈機U，可以模擬圖靈機M，從中解析出M的行為，並模擬出輸入ω的動作，產生一樣的結果：接受、拒絕、循環。我們稱U接受。
不完備
與(yu)圖(tu)靈(ling)機(ji)一(yi)樣(yang)，哥(ge)德(de)爾(er)將(jiang)形(xing)式(shi)邏(luo)輯(ji)也(ye)符(fu)號(hao)化(hua)，一(yi)個(ge)命(ming)題(ti)可(ke)以(yi)寫(xie)成(cheng)一(yi)個(ge)形(xing)式(shi)化(hua)語(yu)言(yan)符(fu)號(hao)的(de)形(xing)式(shi)，就(jiu)是(shi)公(gong)式(shi)組(zu)成(cheng)的(de)字(zi)符(fu)串(chuan)序(xu)列(lie)。並(bing)給(gei)每(mei)一(yi)個(ge)符(fu)號(hao)指(zhi)定(ding)一(yi)個(ge)數(shu)字(zi)，把(ba)它(ta)作(zuo)為(wei)質(zhi)數(shu)的(de)指(zhi)數(shu)，將(jiang)每(mei)一(yi)個(ge)字(zi)符(fu)串(chuan)轉(zhuan)換(huan)為(wei)一(yi)個(ge)自(zi)然(ran)數(shu)，即(ji)哥(ge)德(de)爾(er)數(shu)。這(zhe)樣(yang)，就(jiu)將(jiang)可(ke)證(zheng)轉(zhuan)換(huan)為(wei)算(suan)術(shu)問(wen)題(ti)。
不可計算
邱奇、圖(tu)靈(ling)和(he)哥(ge)德(de)爾(er)等(deng)的(de)理(li)論(lun)引(yin)入(ru)之(zhi)後(hou)，我(wo)們(men)漸(jian)漸(jian)開(kai)始(shi)將(jiang)實(shi)數(shu)和(he)不(bu)可(ke)計(ji)算(suan)聯(lian)係(xi)起(qi)來(lai)。哥(ge)德(de)爾(er)不(bu)完(wan)備(bei)定(ding)理(li)可(ke)以(yi)表(biao)示(shi)為(wei)，存(cun)在(zai)一(yi)些(xie)實(shi)數(shu)，是(shi)不(bu)可(ke)計(ji)算(suan)的(de)。可(ke)計(ji)算(suan)數(shu)被(bei)定(ding)義(yi)為(wei)，一(yi)個(ge)實(shi)數(shu)可(ke)以(yi)通(tong)過(guo)圖(tu)靈(ling)機(ji)通(tong)過(guo)有(you)限(xian)的(de)算(suan)法(fa)得(de)到(dao)。比(bi)如(ru)e、π、fanggen。yuanzeshang，keyibiaoshiweilianfenshudeshu，doukeyiyoutulingjijinxingjisuan。zaikejisuanshuzhiwai，rengrancunzaiyixiebukejisuandehanshu。huozheshuo，cunzaiyixieshishu，bunengtongguotulingjiyouxiandesuanfadedao。
元胞自動機
元胞自動機CA是一種多維格點，常用的是二維格點由顏色確定，黑或者白，代表0或者1。每個格點由臨近的格點位置狀態決定，即局域規則。通過計算步驟（即離散時間）的更新格點狀態。參考Conway的人生遊戲。如果研究CA與(yu)其(qi)他(ta)係(xi)統(tong)的(de)類(lei)比(bi)特(te)性(xing)，可(ke)以(yi)約(yue)定(ding)一(yi)種(zhong)停(ting)機(ji)條(tiao)件(jian)，即(ji)達(da)到(dao)某(mou)種(zhong)吸(xi)引(yin)子(zi)為(wei)接(jie)受(shou)，達(da)到(dao)某(mou)種(zhong)吸(xi)引(yin)子(zi)的(de)補(bu)集(ji)為(wei)拒(ju)絕(jue)，否(fou)則(ze)為(wei)循(xun)環(huan)運(yun)行(xing)，精(jing)確(que)定(ding)義(yi)參(can)考(kao)Sutner。通用元胞自動機，比如110號，參考Cook。這樣，一個元胞自動機，可以由四種設置組成，值域A、維數d、局域規則φ，停機條件π。通用元胞自動機U是能模擬其他元胞自動機的行為。
比較分析
對形式係統、圖靈機、可計算、元胞自動機等進行比較分析。
可以得出，不確定性的來源包含三個基本因素
一、程序數據的二元性；
二、必須有一個可數無窮；
三、是否運算。
S. M. Markose也曾總結出三原則
一、代理可以對編碼信息、儲存的編碼代碼進行操作；
二、代理可以進行自指的離線模擬；
三、代理可以記錄否定，可自行參考。
但這裏涉及的自指和無窮的問題還需要仔細進行澄清。
拓撲可計算
可ke計ji算suan數shu隻zhi是shi簡jian單dan的de把ba數shu分fen為wei了le可ke計ji算suan數shu和he不bu可ke計ji算suan數shu，但dan不bu可ke計ji算suan數shu實shi際ji上shang還hai可ke以yi深shen入ru考kao察cha。將jiang圖tu靈ling可ke計ji算suan概gai念nian做zuo一yi個ge簡jian單dan的de擴kuo展zhan，稱cheng為wei拓tuo撲pu可ke計ji算suan。
π是一個可計算數，雖然它是無窮的，它的勢為ℵ0，即可數無窮，等勢於自然數，我們稱它拓撲可計算值為0（類比於球麵）。實數中無理數之上的不可計算數，它的勢為ℵ1，我們稱它拓撲可計算值為1（類比於環麵的洞）。依次類推，ℵn的拓撲可計算值為n。
為什麼所有整數、有理數都是可計算的？為什麼π是可計算的？因為π可ke以yi表biao示shi為wei連lian分fen數shu的de形xing式shi，即ji自zi然ran數shu的de無wu窮qiong次ci計ji算suan。可ke能neng是shi因yin為wei隻zhi有you一yi個ge可ke數shu無wu窮qiong。所suo以yi，在zai圖tu靈ling機ji中zhong就jiu是shi可ke計ji算suan的de。如ru果guo在zai圖tu靈ling機ji中zhong再zai引yin入ru一yi個ge無wu窮qiong，比bi如ru可ke數shu無wu窮qiong狀zhuang態tai的de圖tu靈ling機ji，那na麼me拓tuo撲pu可ke計ji算suan值zhi為wei1的實數可能也是可計算的。這樣，拓撲可計算值為n的數，就可以用引入n個可數無窮的圖靈機來計算。
我們稱這種圖靈機為拓撲圖靈機。傳統的有限狀態圖靈機即0值拓撲圖靈機。可數無窮狀態圖靈機即1值拓撲圖靈機。
有意思的是，如果認為自指與無窮等價（圖靈機中引入自指和引入可數無窮等價）。那麼，在圖靈機中引入一個自指，相當於引入一個無窮。自指有限狀態圖靈機相當於1值拓撲圖靈機，1值圖靈機可以計算拓撲可計算值為1的實數。自指無限狀態圖靈機，就是2值拓撲圖靈機，可以計算實數函數、可數無窮維點集、不可導曲線集這些勢為ℵ2的集合中的元素。
複雜計算
無窮∞，總是一個讓人難以割舍的概念。這裏可以再做一個簡單的擴展，試著將它從基本假設中排除掉。
考慮到圖靈可計算概念包含一個可數無窮，可以引入一個足夠大的數字n，將圖靈機的無窮限製在n之內。但可以保留自然數集和實數集之間的關係，或者說ℵ0、ℵ1之間的關係，冪集關係。這樣，實數集對圖靈機不可計算。等價為ℵ1的集合，對ℵ0來說，不可計算。等價於，2^∞對於∞，不可計算。我們將∞換成n，即對於一個足夠大的數n，2^n對於n來說，不可計算。
這也重新定義一個“複雜”，即冪集2^n的係統，對於n的係統，是複雜的。而且，它就是不可計算，就是隨機。
注意到，自指產生一個複雜係統。
這樣，就對拓撲可計算概念做一個簡單的擴展，可以稱為拓撲複雜可計算，或者簡稱複雜計算。
不妨將這種“複雜”直接定義為無窮（係統中，引入自指就是引入無窮，它引入一個冪集，產生不可判定），之前所知的“無窮”“∞”概念，不過是對於複雜度高於我們的世界的直覺而已。
從圖靈計算到量子計算
圖靈機包含目前的計算機的三個基本單元：存儲器、讀寫單元、kongzhidanyuan。cunchuqiyongyicunchuxinxi，duxiedanyuanyongyizaicunchuqizhongduquhuozhexieruxinxi，erkongzhidanyuangenjuduxiedanyuantigongdexinxianzhaoneibuluojigenggaihuoshanchuyuanyoudexinxi，yidadaowomenqiwangdejisuanjieguo。
例如，在圖靈機執行運算時按照以下步驟依次進行：
一、讀寫首先從儲存器獲取存儲信息，並將此信息傳遞到控製單元。
二、控製單元按照既定算法更改自身的狀態以及輸出新的數值到讀寫單元中。
三、讀寫單元向儲存器的當前位置寫入新的值。
四、控製單元按照算法決定移動方向，並進行下一輪的讀寫。
下麵我們嚐試使用一進製加法說明這一工作過程。
在一進製中，空=b，1=1，2=11，3=111。嚐試計算2+3的結果。控製器按照下麵這個邏輯進行操作：
此時我們使用讀取單元讀取儲存器中記錄的數據為：
按照以上的邏輯，當控製單元獲取不同a值時，將會改變自身的狀態並執行相應操作。例如開始時，控製單元狀態為S1讀取了b，控製器狀態轉變為S2，並輸出b，隨後向左移動一格，以此類推，不斷讀取並變換狀態完成整個加法運算。
量子計算
自人類踏入到量子領域，找到一條使用粒子狀態作為計算的方法。一次量子計算由製備輸入態、對於初態執行所期望的變換、測量輸出態這三個步驟組成。對應於比特，我們在量子計算中稱這個記載信息的基本單位為量子比特。我們可以采用電子、核子、光子等等作為量子比特的載體。規定一對正交的量子態分別代表經典比特的0與1，這對量子態構成了量子計算的基矢。因此，相比於傳統計算機輸入僅可以是0或1的初值不同，量子力學的疊加原理允許量子計算輸入的初始態可以是疊加的。
量子比特所描繪的不再是單一的0或者1，而是一個以|0>與|1>為(wei)基(ji)失(shi)並(bing)由(you)連(lian)續(xu)變(bian)量(liang)與(yu)描(miao)述(shu)的(de)空(kong)間(jian)。由(you)於(yu)信(xin)息(xi)載(zai)體(ti)的(de)變(bian)化(hua)，發(fa)生(sheng)的(de)信(xin)息(xi)載(zai)體(ti)所(suo)承(cheng)載(zai)的(de)信(xin)息(xi)量(liang)由(you)點(dian)向(xiang)麵(mian)變(bian)化(hua)。輸(shu)入(ru)的(de)初(chu)始(shi)態(tai)就(jiu)擁(yong)有(you)著(zhe)大(da)量(liang)的(de)信(xin)息(xi)。這(zhe)樣(yang)的(de)一(yi)個(ge)輸(shu)入(ru)態(tai)描(miao)繪(hui)了(le)一(yi)部(bu)分(fen)態(tai)與(yu)一(yi)部(bu)分(fen)態(tai)的(de)混(hun)合(he)狀(zhuang)態(tai)，所(suo)以(yi)它(ta)既(ji)可(ke)以(yi)進(jin)行(xing)態(tai)的(de)相(xiang)關(guan)運(yun)算(suan)，也(ye)可(ke)以(yi)參(can)與(yu)態(tai)的(de)相(xiang)關(guan)運(yun)算(suan)。這(zhe)種(zhong)不(bu)同(tong)於(yu)傳(chuan)統(tong)計(ji)算(suan)的(de)模(mo)式(shi)，使(shi)得(de)量(liang)子(zi)計(ji)算(suan)的(de)過(guo)程(cheng)是(shi)並(bing)行(xing)的(de)（是尤為重要的），這就導致量子計算在一些特定問題上有著傳統計算模式（目前算法下）難以匹敵的計算能力。
這種並行計算所帶來的優勢隨著量子比特的數目增多變得尤為明顯。假設我們都采用n個信息單位作為載體用以描述可能的狀態。對於經典計算機而言，可以表示的狀態數目將會以模式增長。因此，兩者之間的差距在隨著n的增大而快速拉大。
走出實驗室，賦能特色產業
如今量子計算所處的發展階段，有點類似於2012年的人工智能產業。2019年，穀歌演示了量子霸權，即在理論上越過了傳統算力，而在實踐上，行業正處於產業化爆發的前夜。
實驗室裏的理論再牛，也需要落地開花，而走出實驗室，這場比拚已經開始。圖靈量子完成1億元天使輪融資，而在美國和加拿大，PsiQ和Xanadu同期拿到了量子計算領域最大的兩筆投資。業內人士甚至認為，2021年可稱為光量子計算元年，上述三家行業最頂尖的公司，將決定更為廣泛的應用走向。
《道德經》有言：挫(cuo)其(qi)銳(rui)，解(jie)其(qi)紛(fen)，和(he)其(qi)光(guang)，同(tong)其(qi)塵(chen)。前(qian)沿(yan)科(ke)技(ji)特(te)別(bie)是(shi)顛(dian)覆(fu)性(xing)技(ji)術(shu)，在(zai)發(fa)展(zhan)道(dao)路(lu)上(shang)會(hui)遇(yu)到(dao)一(yi)些(xie)挫(cuo)折(zhe)和(he)障(zhang)礙(ai)，但(dan)既(ji)然(ran)選(xuan)擇(ze)了(le)這(zhe)條(tiao)道(dao)路(lu)，就(jiu)要(yao)把(ba)阻(zu)力(li)轉(zhuan)化(hua)為(wei)動(dong)力(li)，一(yi)旦(dan)實(shi)現(xian)顛(dian)覆(fu)性(xing)創(chuang)新(xin)，回(hui)報(bao)必(bi)然(ran)是(shi)豐(feng)厚(hou)的(de)。在(zai)上(shang)海(hai)創(chuang)業(ye)的(de)圖(tu)靈(ling)量(liang)子(zi)已(yi)定(ding)下(xia)最(zui)早(zao)應(ying)用(yong)的(de)方(fang)向(xiang)——金融科技、生物醫藥、人工智能，這些是最需要算力算法支撐的行業，同時也最貼近上海的產業特色，可實現“上海賦能上海”的疊加效應。
圖靈量子已與上海頂級三甲醫院、藥企巨頭、雲計算服務商、金融機構等戰略合作，通過量子計算來解決一類實用問題，真正賦能一個行業。在金賢敏看來，未來量子計算還可在智慧城市、大數據等需要複雜算法、算力的領域發揮優勢。
《上海市戰略性新興產業和先導產業發展“十四五”規劃》提出，要形成“9+X”戰略性新興產業和先導產業發展體係，“重點布局光子芯片與器件”就是X之一。
藍海大腦大數據一體機
超能運算
高效運維
-END-
