Questões conceituais de computabilidade
AUTOR(ES)
Rodolfo Cristian Ertola Biraben
DATA DE PUBLICAÇÃO
2001
RESUMO
In this Thesis we examine some problems related to the concept of computable function. In particular, we present an analysis of an objection to the usual definition as regards its constructive contentoWe also develop computability theory distinguishing selfreference and self-modification and we make an evaluation of a reformulation of Turing- Church Thesis by Yiannis Moschovakis
ASSUNTO(S)
teoria de recursão matematica construtiva funções computaveis