ISBN10: 0198500734, ISBN13: 9780198500735, [publisher: Oxford University Press, Oxford] Hardcover Hardcover. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originallywritten in ...