Global ETD Search

1	Uma prova de incompletude da aritmética baseada no teorema das definições recursivas / A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion Vicente, Luciano 30 July 2008 (has links) 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. / 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. Arithmetic Aritmética formal Definições recursivas Definition by recursion Incompleteness Incompletude Logic Lógica Teoria dos Tipos Type theory
2	Uma prova de incompletude da aritmética baseada no teorema das definições recursivas / A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion Luciano Vicente 30 July 2008 (has links) 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. / 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. Aritmética formal Definições recursivas Incompletude Lógica Teoria dos Tipos Arithmetic Definition by recursion Incompleteness Logic Type theory

Search results

Uma prova de incompletude da aritmética baseada no teorema das definições recursivas / A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion

Uma prova de incompletude da aritmética baseada no teorema das definições recursivas / A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion