鹦鹉小說

第五百六十三章 丘奇的λ演算計算（第1頁）

一階邏輯是一種不能量化的簡單的屬性邏輯。與高階邏輯和數理邏輯不一樣。它不允許量化性質。性質是一個物體的特性；所以一個紅色物體被表述為有紅色的特性。裡面有很多“任意有”和“必須存在”這樣的符号。我們可以大膽地設想，把整個數學理論内容用一階邏輯表達式全部寫出來，成果就像是一本”天書“，一般人很難看得懂。但是，布爾巴基學派偏要這樣做，否則，似乎不夠”意思“，不過”瘾“。因此，我們能夠想像，在布爾巴基的《數學基礎叢書》裡面各種稀奇古怪的數學謂詞多得去了。對此，有人說，這純粹是形式主義，但是，也有人說，這就是現代數學的本來面目。1935年，邱奇發明了“λ演算”，來源證明一階邏輯沒有通用判定而發明的，但對于今天的計算機科學家是一件無價的工具。在函數式語言中，函數的排列更像是個鍊條，而不是我們說些的那些方程式。意思是後一個函數可以從前一個函數得出。寫出一個函數後，也要寫出要帶入的變量的值，這樣在計算過程中就可以讓變量值和帶入值進行交換就可以了。丘奇發明這種演算後，他的學生們完善了這種工具。同年邱奇出版了《初等數論中的一個未解決問題》。其中包含了邱奇定理，它表明算術沒有判定程序。在理論計算機科學中，有了可計算性概念複嚴格的數學刻劃，才使證明一系列重要的數學問題的算法不可解性成為可能。遞歸函數是一個自己調用自己的函數。“算法可計算函數都是遞歸函數”這一丘奇論題提出，算法可計算性這個直觀概念才有了精确的數學刻劃。丘奇雖然不是搞計算機的，但是他的這些工具都服務于計算機了，圖靈證明自己的圖靈機器裡很多東西跟丘奇的演算理論等價。：（）數學心

請勿開啟浏覽器閱讀模式，否則将導緻章節内容缺失及無法閱讀下一章。

相鄰推薦:[重生未來]外交風雲+番外  娘親偷聽我心聲後，轉頭嫁初戀  惡國舅  未來種植家+番外  沒有你的日子裡我又寫了一百萬+番外  絕代之九妹玲珑  幫主夫人的野望  重生之庸臣+番外  穿越之偷天換日  情陷檢察官  末日來襲，零元購萬億物資躺赢  馭獸天尊  穿越送驚喜，奶娃有神力  我喜歡的作者不可能這麼無聊+番外  乞丐王妃太難養  拒絕表白校花：轉身成為大亨  葉淩天  警告你别再當編劇！  圈寵罪妃  怎麼才能包 養你！