相關詞條
-
圖靈手機
圖靈手機是世界第一款液態金屬智慧型手機，其機身採用獨家的Liquidmorphium液態金屬合金，其硬度超過鈦合金和鋼。除了堅固的緊身外，該機表面還使用了...
產品歷史 功能配置 規劃參數 產品特色 -
艾倫·麥席森·圖靈
艾倫·麥席森·圖靈（Alan Mathison Turing，1912年6月23日－1954年6月7日），英國數學家、邏輯學家，被稱為計算機科學之父，人...
人物生平 主要成就 主要榮譽 家庭成員 人物紀念 -
圖靈歸約
圖靈歸約是可計算性理論中的一種歸約。
簡介 圖靈機的可計算性理論 歸約 -
圖靈可計算函式
[1] 圖靈可計算函式(Turing computable...(部分)數論函式，如果M為圖靈機，並且對任何自然數n，若以紙帶上連續的n+1個1(記為n或1.}+ i)作為M的輸人後，M會停機，若且唯若抓n)有...
-
圖靈可識別語言
圖靈可識別語言，又可被稱為遞歸可枚舉語言或遞迴可枚舉語言。一個語言是圖靈可識別語言若且唯若它是遞歸可枚舉語言。
定義 相關條目 -
阿蘭·圖林
人物生平年輕時期 艾倫·麥席森·圖靈 艾倫·麥席森·圖靈，1912年生於英國倫敦。艾倫·麥席森·圖靈少年時就表現出獨特的直覺創造能力和對數學...。1927年末，年僅15歲的圖靈為了幫助母親理解愛因斯坦的相對論，寫了...
人物生平 主要成就 主要榮譽 家庭成員 人物紀念 -
丘奇定理
，卻對圖靈工作大加讚賞，從而接受丘奇-圖靈論題呢？我們認為，其中的最重要原因是，圖靈是完全沿著哥德爾構想的思路對算法概念給出分析的第一人，圖靈機概念澄清了形式系統概念的內涵；同時，與波斯特20年代的想法一樣，圖靈論題...
丘奇定理 邏輯分析 -
《上帝擲骰子嗎》
《上帝擲骰子嗎》 摘要 愛因斯坦：「一個人的價值，應該看他貢獻了什麼，而不是他取得了什麼。」 愛因斯坦說：「我不相信上帝是靠擲骰...
《上帝擲骰子嗎》 序 第一章 黃金時代 第二章 烏雲 第三章 火流星 -
史提芬·古克
。1982年，古克得到圖靈獎。因為其論文開啟了NP完備性的研究，令這個範疇...的貢獻，尤其是在奠定NP完全性理論基礎上的突出貢獻而榮獲1982年度的圖靈...邀請了這方面的一些先驅與奠基人，其中包括拉賓(M．Rabin，1976年...
成果 背景 歷程 圖靈獎演說 -
史蒂芬·庫克[多倫多大學計算複雜理論教授]
，其中包括拉賓(M．Rabin，1976年圖靈獎獲得者)、哈特馬尼斯(J...。1982年，古克得到圖靈獎。因為其論文開啟了NP完備性的研究，令這個領域於之後...基礎上的突出貢獻而榮獲1982年度的圖靈獎。個人經歷少年時光史蒂芬·庫克...
人物介紹 個人經歷 個人成就
