| Revista: | Revista brasileira de ensino de fisica |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000315245 |
| ISSN: | 0102-4744 |
| Autores: | D'Alkaine, C.V1 |
| Instituciones: | 1Universidade Federal de Sao Carlos, Grupo de Logica e Filosofia da Ciencia, Sao Carlos, Sao Paulo. Brasil |
| Año: | 2006 |
| Volumen: | 28 |
| Número: | 4 |
| Paginación: | 525-530 |
| País: | Brasil |
| Idioma: | Portugués |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, teórico |
| Resumen en inglés | After a brief review of the Gödel life, pointing out the origins of his intellectual traditions, his completeness theorem, his thesis work, the incompleteness theorem and the theorem about the impossibility to demonstrate the consistence of a complex formal system in the same formal system are analyzed. In the following his contributions to the independence of the Hypothesis of Continuous and the Axiom of Choice of the other axioms of the set theory are discussed. Under this context some ideas about the small influence that the contributions of Gödel to describe some limits of the rational thought have had in the so called natural or exact sciences, specially, Physics and Chemistry are finally discussed and some reflections are, in this sense, proposed |
| Resumen en portugués | 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 sistema formal. A seguir, são discutidas suas contribuições à independência da Hipótese do Contínuo e do Axioma de Escolha dos outros axiomas da teoria dos conjuntos. Nesse contexto são finalmente discutidas algumas idéias em relação à pequena influência que as contribuições de Gödel, para descrever alguns dos limites do pensamento racional, têm tido nas assim chamadas ciências exatas ou naturais, especialmente, Física e Química. Algumas reflexões são, nesse sentido, propostas |
| Disciplinas: | Matemáticas |
| Palabras clave: | Matemáticas puras, Completitud, Incompletitud, Ciencias exactas, Godel, Kurt, Teoremas, Consistencia |
| Keyword: | Mathematics, Pure mathematics, Completeness, Incompleteness, Exact sciences, Godel, Kurt, Theorems, Consistency |
| Texto completo: | Texto completo (Ver HTML) |
