阿隆佐·邱奇
這是此頁批准，以及是最近的修訂。
阿隆佐 ・ 邱奇（Alonzo Church，一九空三年六月十四號—一九九五年八月十一號）是美國數學家，一九三六年發表可計算函數的第一份精確定義，對算法理論的系統發展做出真大的貢獻。邱奇佇普林斯頓大學受教並工作四十年，曾任數學佮哲學教授。一九六七年遷往加利福尼亞大學洛杉磯分校。
解決算法問題包括構造一个會當解決某一指定集佮其他相關集的算法，這若該算法無法度構建，表明該問題是袂當解的。證明這款問題袂當解性的定理是算法理論中的一大突破，邱奇的算法嘛做為這款算法的頭一例。邱奇證明了基本幾若款問題的算法毋通解性。同時證明了一階邏輯中真命題全集的解法問題是袂解的。
對作
數理邏輯介紹，Alonzo Church , _ Introduction to Mathematical Logic _ ( ISBN 空七六百九十一五二千九百空六五七 )
參見
- 邱奇-圖靈論題
- 一階邏輯
- 高階邏輯
- λ 演算
外部連結
- An unsolvable problem of elementary number theory 中譯本 |
- https : / / web . archive . org / web / 二十五空五百空三五二千空三五三千一百五十二 / http : / / www . cartage . org . lb / en / themes / Biographies / MainBiographies / C / Church / 一 . html
- 約翰 ・ J ・ 奧康納；埃德蒙 ・ F ・ 羅伯遴 , Church , MacTutor 數學史檔案（英語）
- 阿隆佐 ・ 邱奇佇咧數學家族譜網站頂懸的條目 ( 二空空七年六月提著 )
- H B Enderton , In memoriam : Alonzo Church