• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Disertación de Maestría
DOI
10.11606/D.8.2008.tde-08102008-173642
Documento
Autor
Nombre completo
Luciano Vicente
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2008
Director
Tribunal
Loparic, Andrea Maria Altino de Campos (Presidente)
Lungarzo, Carlos Alberto
Pereira, Luiz Carlos Pinheiro Dias
Título en portugués
Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
Palabras clave en portugués
Aritmética formal
Definições recursivas
Incompletude
Lógica
Teoria dos Tipos
Resumen en portugués
Esta dissertação estabelece a incompletude de um sistema formal cujas únicas constantes não-lógicas são 0 e s (respectivamente, o número natural 0 e a função sucessor segundo a interpretação standard), fundamentando-se, para tanto, em um teorema cuja prova necessita essencialmente da maquinária lógica de segunda-ordem e que foi designado de Teorema das Definições Recursivas.
Título en inglés
A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion
Palabras clave en inglés
Arithmetic
Definition by recursion
Incompleteness
Logic
Type theory
Resumen en inglés
We establish here the incompleteness of the formal system S2 for arithmetic_a formal system whose signature is {0, s}_by means of the Theorem of the Definition by Recursion (TDR). However, unlike the standard proofs of incompleteness, the proof of TDR, by virtue of restricted signature, uses essentially the power of second-order logic.
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
TESE_LUCIANO_VICENTE.pdf (550.55 Kbytes)
Fecha de Publicación
2008-10-14
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
Centro de Informática de São Carlos
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2021. Todos los derechos reservados.