Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:17:27Z (GMT). No. of bitstreams: 1
ErtolaBiraben_RodolfoCristian_D.pdf: 6541731 bytes, checksum: 679633ee0bf6443f0e2e45097736869c (MD5)
Previous issue date: 2001 / 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 / 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 / Doutorado / Doutor em Filosofia
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/281315 |
Date | 27 July 2018 |
Creators | Ertola Biraben, Rodolfo Cristian, 1954- |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, D'Ottaviano, Itala Maria Loffredo, 1944-, Filho, Oswaldo Chateaubriand, Haeusler, Edward Hermann, Sautter, Frank Thomas, Coniglio, Marcelo Esteban |
Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Format | 137 p., application/pdf |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds