Kurt Godel was the most outstanding logician of the twentieth century, famous for his work 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 computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

In this first extended treatment of his life and work, Hao Wang, who was in close contact with Godel in his last years, brings out the full subtlety of Godel's ideas and their connection with grand themes in the history of mathematics and ...

Gödel's conclusion that time-travel is possible in his models of Einstein's gravitational theory has been questioned by Chandrasekhar and Wright, and treated as doubtful in the recent philosophical literature. The present note is intended to remove this doubt: a review of Gödel's construction shows that his arguments are entirely correct; and the objection is seen to rest upon a misunderstanding. Computational points treated succinctly by Gödel are here presented in fuller detail. The philosophical significance of Gödel's results is briefly considered, (...) and a set of technical questions is posed whose answers would clarify this significance. (shrink)

The story of Einstein's struggle to create a general theory of relativity, and his early discontentment with the final form of the theory , is well known in broad outline. Thanks to the work of John Norton and others, much of the fine detail of the story is also now known. One aspect of Einstein's work in this period has, however, been relatively neglected: Einstein's commitment to Mach's ideas on inertia, and the influence this commitment had on Einstein's work on (...) general relativity from 1907 to 1918. In this paper published writings and archival material are examined, to try to reconstruct the details of Einstein's thinking about inertia and gravitation, and the role that Mach's ideas played in Einstein's crucial work on the general theory. By the end, a clear picture of Einstein's conceptions of Mach's ideas on inertia, and their philosophical motivations, will emerge. Several surprising conclusions also emerge: Einstein's desire for a Machian gravitation theory was the central force driving his work from 1912 to 1915, keeping him going despite numerous frustrating setbacks; Einstein's continued commitment to Mach's ideas in 1916–1917 kept him at work trying various strategies of modification of the field equations, in order to exclude anti-Machian solutions ; and as late as early 1918, Einstein was ready to call the whole General Theory a failure if no way of squaring it with Mach's ideas on inertia could be found. But by 1920 Einstein advocated a view that granted spacetime independent existence with physical qualities of its own, a complete break with his earlier Machian views. (shrink)

SummaryThis paper is an account of Kepler's explicit awareness of the problem of experimental error. As a study of the Astronomia nova shows, Kepler exploited his awareness of the occurrences of experimental errors to guide him to the right conclusion. Errors were thus employed, so to speak, perhaps for the first time, to bring about a major physical discovery: Kepler's laws of planetary motion. ‘Know then’, to use Kepler's own words, ‘that errors show us the way to truth.’ With a (...) survey of Kepler's revolutionary contribution to optics, the paper demonstrates that Kepler's awareness of the problem of experimental error extended beyond discrepancies between calculations and observations to types of error which pertain to observations and instruments. It emerges that Kepler's belief in the unity of knowledge and physical realism, facilitated—indeed created—the right philosophical posture for comprehending the problem of error in an entirely novel way. (shrink)