Portada

COLLECTED WORKS IBD

OXFORD UNIVERSITY PRESS
11 / 1989
9780195039726
Inglés

Sinopsis

Kurt Godel was the most outstanding logician of thetwentieth century, famous for his work on the completenessof logic, the incompleteness of number theory, and theconsistency of the axiom of choice and the continuumhypothesis. He is also noted for his work on constructivity,the decision problem, and the foundations of computationtheory, as well as for the strong individuality of hiswritings on the philosophy of mathematics. Less well-knownis his discovery of unusual cosmological models forEinstein?s equations, permitting 'time-travel' into thepast. This second volume of a comprehensive edition ofGodel?s works collects together all his publications from1938 to 1974. Together with Volume I (Publications1929-1936), it makes available for the first time in asingle source all of his previously published work.Continuing the format established in the earlier volume, thepresent text includes introductory notes that provideextensive explanatory and historical commentary on each ofthe papers, a facing English translation of the one Germanoriginal, and a complete bibliography. Succeeding volumesare to contain unpublished manuscripts, lectures,correspondence, and extracts from the notebooks. Collected Works is designed to be accessible anduseful to as wide an audience as possible withoutsacrificing scientific or historical accuracy. The onlycomplete edition available in English, it will be anessential part of the working library of professionals andstudents in logic, mathematics, philosophy, history ofscience, and computer science. These volumes will alsointerest scientists and all others who wish to be acquaintedwith one of the great minds of the twentieth century.