Propriedades aleatórias de sistemas formais (1999)
- Authors:
- Autor USP: TSUJI, MARCELO - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Assunto: FILOSOFIA DA CIÊNCIA
- Language: Português
- Abstract: Baseado em teoremas obtidos por D. Richardson em 1968, of Profs. N. C. A. da Costa e F. A. Doria provaram uma série de resultados de incompletude e indecidibilidade que aparecem em mecânica clássica e em praticamente todas as teoriasformalizadas. Em linhas similares, G. Chaitin tem enfatizado o papel de fenômenos aleatórios em resultados de incompletude formal desde a sua descoberta do número 'ômega', mostrando as ligações entre a Teoria da Complexidade de Kolmogorov e oTeorema da Incompletude de Gödel. O objetivo principal de tese é o de ligar essas duas linhas de pesquisa. Por meio das técnicas de Da Costa-Daria iremos construir uma expressão para uma função característica de 'ômega' na linguagem da análiseclássica. Então, essa função será utilizada para provar um teorema geral de randomicidade em sistemas formais que pode ser visto como análogo ao Teorema de Rice em Recursão Clássica. Por último, será analisado o possível significadoepistemológico desse teorema para os fundamentos da matemática. Por esse motivo nós damos um apanhado histórico do Programa de Hilbert no primeiro capítulo da tese
- Imprenta:
- Data da defesa: 13.07.1999
-
ABNT
TSUJI, Marcelo. Propriedades aleatórias de sistemas formais. 1999. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1999. . Acesso em: 11 out. 2024. -
APA
Tsuji, M. (1999). Propriedades aleatórias de sistemas formais (Tese (Doutorado). Universidade de São Paulo, São Paulo. -
NLM
Tsuji M. Propriedades aleatórias de sistemas formais. 1999 ;[citado 2024 out. 11 ] -
Vancouver
Tsuji M. Propriedades aleatórias de sistemas formais. 1999 ;[citado 2024 out. 11 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas