Provability, Computability and Reflection.

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)

Thomas S. Kuhn's classic book is now available with a new index.

This collection of essays, written on four continents by scientists, philosophers and humanists, was initially presented to Karl R. Popper on his sixtieth birthday as a token of critical admiration and in recognition of his work. But the volume also stands on its own as a remarkable series of statements utilizing Popper's critical vision in the study of philosophy proper, logic, mathematics, science as method and theory, and finally to the study of society and history. What is remarkable is that (...) Popper worked in all of these areas, not in a cursory or discursive way, but with the utmost clarity and rigor.. The core position of this volume and its contributors is that the progress of knowledge is not a linear accumulation of definitive acquisitions but a zigzagging process in which counterexamples and unfavorable evidence ruin generalizations and prompt the invention of more comprehensive and sometimes deeper generalizations, to be criticized in their turn. A critical approach to problems, procedures, and results in every field of inquiry is therefore a necessary condition for the continuance of progress. The title of this volume then is, in a sense, an homage to Popper's critical rationalism and critical empiricism. The essays are a tribute to his unceasing and uncompromising quest, not for final certainty, but for closer truth and increased clarity. Among the contributors are outstanding figures in philosophy and the exact sciences in their own right, including Herbert Feigl, R. M. Hare, J.O. Wisdom, Nicholas Rescher, David Bohm, Paul K. Feyerabend, F. A. Hayek, and Adolf Grunbaum. Social science contributions include Hans Albert on social science and moral philosophy, W. B. Gallie, on the critical philosophy of history, Pieter Geyl on The Open Society and its Enemies, and George H. Nadel on the philosophy of History. (shrink)