Tese
- Autor
- Rodolfo Cristian Ertola Biraben
- Orientador(a)
- Itala Maria Loffredo D' Ottaviano
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- FILOSOFIA
- Grau
- DOUTORADO
- Ano
- 2001
2001Rodolfo Cristian Ertola Biraben. Questões conceituais de computabilidade. 2001. Tese (DOUTORADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): Itala Maria Loffredo D' Ottaviano.2
Na 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.
Palavras-chave: