Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
邱奇-图灵论题
Wikipedia 维基中文 免费百科全书
Download this dictionary
邱奇-图灵论题
邱奇-图灵论题
(The Church-Turing thesis)是
计算机科学
中以数学家
阿隆佐·邱奇
(Alonzo Church)和
阿兰·图灵
命名的论题。该论题最基本的观点表明,所有
计算
或
算法
都可以由一台
图灵机
来执行。以任何常规编程语言编写的计算机程序都可以翻译成一台图灵机,反之任何一台图灵机也都可以翻译成大部分编程语言程序,所以该论题和以下说法等价:常规的编程语言可以足够有效的来表达任何算法。该论题被普遍假定为真,也被称为
邱奇论题
或
邱奇猜想
和
图灵论题
。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许