Revista Brasileira de Ensino de Física
Print version ISSN 1806-1117
D'ALKAINE, C.V.. Gödel works and the named exact sciences: to honor centenary of the birth of Kurt Gödel. Rev. Bras. Ensino Fís. [online]. 2006, vol.28, n.4, pp. 525-530. ISSN 1806-1117. http://dx.doi.org/10.1590/S0102-47442006000400015.
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.
Keywords : Gödel; theorems; completeness; incompleteness; consistency; exact sciences.