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.
机构:
Univ Padua, Dipartimento Matemat Tullio Levi Civita, Via Trieste 63, I-35121 Padua, ItalyUniv Padua, Dipartimento Matemat Tullio Levi Civita, Via Trieste 63, I-35121 Padua, Italy
Maietti, Maria Emilia
Pasquali, Fabio
论文数: 0引用数: 0
h-index: 0
机构:
Univ Padua, Dipartimento Matemat Tullio Levi Civita, Via Trieste 63, I-35121 Padua, ItalyUniv Padua, Dipartimento Matemat Tullio Levi Civita, Via Trieste 63, I-35121 Padua, Italy
Pasquali, Fabio
Rosolini, Giuseppe
论文数: 0引用数: 0
h-index: 0
机构:
Univ Genoa, DIMA, Via Dodecaneso 35, I-16146 Genoa, ItalyUniv Padua, Dipartimento Matemat Tullio Levi Civita, Via Trieste 63, I-35121 Padua, Italy