Ernest Nagel Boeken

Godel's Proof was first published in the US in 1958. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title "On Formally Undecidable propositions of Principia Mathematica and Related Systems". Its author was Kurt Godel, then a young mathematician of 25 at the University of Vienna who since 1938 was a permanent member of the Institute for Advanced Study at Princeton. The paper is a milestone in the history of logic and mathematics. When Harvard University awarded Godel an honorary degree, the citation described the work as one of the most important advances in logic in modern times. At the time of its appearance, however, neither the title of Godel's paper nor its content was intelligible to most mathematicians.

Published in 1946, this volume does not purpose to be a treatise on logic. The author's contributions to the substance of logical doctrine have been made in his other works. What he has attempted in the studies that form this volume is an exploration of the periphery of logic, the relation of logic to the rest of the universe, the philosophical presuppositions which give logic its meaning and the applications which give it importance. It is his belief that formal logic is the heart of philosophy, since the subject matter of logic is the formal aspect of all being. From this standpoint he explores the relation of logic to such fields of study as natural science, ethics, history and general philosophy.

Již z dálky viděl Pat O'Mulligan jjezdce, který sjížděl s kopce, poznal dlouhonohého, ocelově šedého hřebce, běžícího nenapodobitelným mírným, ale plynulým tryskem.