Os trabalhos de Gödel e as denominadas ciências exatas: em homenagem ao centenário do nascimento de Kurt Gödel
Após uma breve resenha da vida de Gödel, assinalando as origens de suas tradições intelectuais, são analisados o seu teorema da completude, o seu trabalho de tese, o teorema da incompletude e o teorema sobre a impossibilidade de demonstrar a consistência de sistemas formais complexos dentro do mesmo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Sociedade Brasileira de Física
|
| Series: | Revista Brasileira de Ensino de Física |
| Subjects: | |
| Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S1806-11172006000400015&lng=en&tlng=en |