• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Questões conceituais de computabilidade

Ertola Biraben, Rodolfo Cristian, 1954- 27 July 2018 (has links)
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

Page generated in 0.1085 seconds