请输入您要查询的百科知识:

 

词条 Church's thesis
释义
Church's thesis
mathematics
also called Church's Theorem,
a principle formulated by the 20th-century American logician Alonzo Church, stating that the recursive functions are the only functions that can be mechanically calculated. The theorem implies that the procedures of arithmetic cannot be used to decide the consistency of statements formulated in accordance with the laws of arithmetic.
随便看

 

百科全书收录100133条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/2/19 16:51:35