Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/281315
Type: TESE
Degree Level: Doutorado
Title: Questões conceituais de computabilidade
Author: Ertola Biraben, Rodolfo Cristian, 1954-
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: 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
Subject: Teoria de recursão
Funções computáveis
Matemática construtiva
Language: Português
Editor: [s.n.]
Date Issue: 2001
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
ErtolaBiraben_RodolfoCristian_D.pdf6.39 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.