Questões conceituais de computabilidade

Description

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

Links & Downloads

1. (Broch.)
2. ERTOLA BIRABEN, Rodolfo Cristian. Questões conceituais de computabilidade. 2001. 137 p. Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/281315>. Acesso em: 27 jul. 2018.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281315

Tags

Teoria de recursão

Funções computáveis

Matemática construtiva

Additional Fields

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