標籤: 暫無標籤

1邱奇(A.Church)

阿隆佐·邱奇Alonzo Church,1903年6月14日-1995年8月11日)是美國數學家,1936年發表可計算函數的第一份精確定義,對演算法理論的系統發展做出巨大貢獻。邱奇在普林斯頓大學受教並工作四十年,曾任數學與哲學教授。1967年遷往加利福尼亞大學洛杉磯分校。
解決演算法問題包括構造一個能解決某一指定集及其他相關集的演算法,如果該演算法無法構建,則表明該問題是不可解的。證明此種問題不可解性的定理是演算法理論中的一大突破,邱奇的演算法即為該類演算法的首例。邱奇從英國數學家阿蘭·圖靈的論文出發證明了基本幾何問題的演算法不可解性。同時證明了一階邏輯中真命題全集的解法問題是不可解的。

2丘奇

丘奇

  丘奇

國籍
威爾士
粵語名
--
出生日期
1988-12-10
出生地點
英格蘭
身高
183.0 CM
體重
84.0 KG
場上位置
前鋒
現效力球隊
雷丁
球衣號碼
18 號
履歷

賽季
俱樂部
號碼
出場
進球
國家
聯賽等級
排名

2009/10
雷丁
18
36
10
英格蘭
2


2008/09
雷丁
35
1
0
英格蘭
2
4

2007/08
約維爾

6
0
英格蘭
3
18

2007/08
克魯亞歷山大

12
1
英格蘭
3
20

2007/08
雷丁
39
0
0
英格蘭
1
18
下一篇[出頭]

相關評論

同義詞:暫無同義詞