Church thesis的意思|示意
丘奇论题
Church thesis的用法详解
'
Church thesis是数学逻辑里一个著名的定理，它指的是所有的计算方法，无论采用什么形式描述，都可以抽象表达为一组逻辑公式或者信号机。这个定理最初在1936年由英国数学家和哲学家Alonzo Church提出，因此拥有“Church定理”（Church thesis）的称号。
它起源于Church发表于1936年的论文“An unsolvable problem of elementary number theory”（一个基本数学理论不可解决的问题），在该论文中，Church研究了一组数学表达式，称为理性函数，并将其应用于计算机科学，认为理性函数本质上就是计算机，从而确立了Church定理。
实际上，Church定理就是指计算机能够完成任何可计算任务，所有计算机都可以用类似的方法来解决同一个问题。它还提出，计算任务可以通过一组数学表达式来表示，这意味着计算机可以运用数学系统来解决各种问题。
Church定理有助于我们认识计算机，并为我们后来的发展提供了基础。它也提供了一个明确的标准用于构建可靠的算法和数据结构，并且更深刻地理解数学和计算机。
'Church thesis相关短语
1、 Church-Turing thesis 邱奇,图灵论题,丘奇,杜林论题
2、 Turing-Church thesis Turing-Church 理论
3、 The Church-Turing Thesis 邱奇,奇,丘奇
4、 polynomial-time Church-Turing thesis 多项式定时邱池
5、 church s thesis 丘奇论点
6、 church ' s thesis 丘奇论点
7、 Church Turing' s thesis 递归结构