Uma prova de incompletude da aritmética baseada no teorema das definições recursivas (2008)
- Authors:
- Autor USP: VICENTE, LUCIANO - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: TEORIA DOS TIPOS; ARITMÉTICA; LÓGICA; LÓGICA (FILOSOFIA)
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 30.07.2008
-
ABNT
VICENTE, Luciano. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/. Acesso em: 03 jun. 2024. -
APA
Vicente, L. (2008). Uma prova de incompletude da aritmética baseada no teorema das definições recursivas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/ -
NLM
Vicente L. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas [Internet]. 2008 ;[citado 2024 jun. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/ -
Vancouver
Vicente L. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas [Internet]. 2008 ;[citado 2024 jun. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas