Church thesis - Physics of our universe - Turing operations;
D O I:
10.1023/A:1021126521437
中图分类号:
TP18 [人工智能理论];
学科分类号:
081104 ;
0812 ;
0835 ;
1405 ;
摘要:
Church's Thesis states that the effectively computable functions are the same as the recursive functions. This paper outlines the characters of the thesis, with the aim of casting doubt on the formulation and accuracy of the thesis.