Questões conceituais de computabilidade
Rodolfo Cristian Ertola Biraben
TESE
Português
(Broch.)
T/UNICAMP Er88q
Campinas, SP : [s.n.], 2001.
137 p.
Orientador: Itala Maria Loffredo D'Ottaviano
Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Resumo: Nesta Tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as análises destacamos um estudo de uma objeção às definições habituais desse conceito, quanto ao caráter construtivo do mesmo. Desenvolvemos uma teoria de computabilidade onde são distinguidas as...
Ver mais
Resumo: Nesta Tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as análises destacamos um estudo de uma objeção às definições habituais desse conceito, quanto ao caráter construtivo do mesmo. Desenvolvemos uma teoria de computabilidade onde são distinguidas as noções de auto-referência e automodificação. Além disso, estudamos uma reformulação da Tese de Turing-Church,
devida a Yiannis Moschovakis Ver menos
devida a Yiannis Moschovakis Ver menos
Abstract: 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...
Ver mais
Abstract: 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
Ver menos
D'Ottaviano, Itala Maria Loffredo, 1944-
Orientador
Chateaubriand Filho, Oswaldo
Avaliador
Haeusler, Edward Hermann
Avaliador
Sautter, Frank Thomas, 1967-
Avaliador
Coniglio, Marcelo Esteban, 1963-
Avaliador
Questões conceituais de computabilidade
Rodolfo Cristian Ertola Biraben
Questões conceituais de computabilidade
Rodolfo Cristian Ertola Biraben
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra