Os trabalhos de Gödel e as denominadas ciências exatas. Em homenagem ao centenário do nascimento de Kurt Gödel

Abstract

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. Copyright by the Sociedade Brasileira de Física.