• 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
 
 
Master's Dissertation
DOI
10.11606/D.8.2008.tde-08102008-173642
Document
Author
Full name
Luciano Vicente
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 2008
Supervisor
Committee
Loparic, Andrea Maria Altino de Campos (President)
Lungarzo, Carlos Alberto
Pereira, Luiz Carlos Pinheiro Dias
Title in Portuguese
Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
Keywords in Portuguese
Aritmética formal
Definições recursivas
Incompletude
Lógica
Teoria dos Tipos
Abstract in Portuguese
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.
Title in English
A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion
Keywords in English
Arithmetic
Definition by recursion
Incompleteness
Logic
Type theory
Abstract in English
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.
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
TESE_LUCIANO_VICENTE.pdf (550.55 Kbytes)
Publishing Date
2008-10-14
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
Centro de Informática de São Carlos
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2021. All rights reserved.