Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics (...) covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher. (shrink)

This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of (...) computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers. (shrink)

This is a book about the philosophy of time, and in particular the philosophy of the great logician Kurt Godel (1906-1978). It evaluates Godel's attempt to show that Einstein has not so much explained time as explained it away. Unlike recent more technical studies, it focuses on the reality of time. The book explores Godel's conception of time, existence, and truth with special reference to Plato, Aristotle, Kant, and Frege. In the light of this investigation an attempt is made (...) to shed light on such issues as the precise sense in which Godel believed in the possibility of time travel, the relationship of the reality of time to the objectivity of temporal becoming, and the significance of time for human existence.This is a book about the philosophy of time, and in particular the philosophy of the great logician Kurt Godel (1906-1978). It evaluates Godel's attempt to show that Einstein has not so much explained time as explained it away. Unlike recent more technical studies, it focuses on the reality of time. The book explores Godel's conception of time, existence, and truth with special reference to Plato, Aristotle, Kant, and Frege. In the light of this investigation an attempt is made to shed light on such issues as the precise sense in which Godel believed in the possibility of time travel, the relationship of the reality of time to the objectivity of temporal becoming, and the significance of time for human existence. (shrink)

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)

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency (...) of the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond. (shrink)

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

The goal of this book is to make available to the scholarly public solid reconstructions and editions of two of the most important essays which Godel wrote on ...

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. (...) The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists. (shrink)

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, _Godel’s Proof_ by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and (...) philosophy the chance to satisfy their intellectual curiosity. (shrink)

At the turn of the nineteenth century, mathematics exhibited a style of argumentation that was more explicitly computational than is common today. Over the course of the century, the introduction of abstract algebraic methods helped unify developments in analysis, number theory, geometry, and the theory of equations; and work by mathematicians like Dedekind, Cantor, and Hilbert towards the end of the century introduced set-theoretic language and infinitary methods that served to downplay or suppress computational content. This shift in emphasis away (...) from calculation gave rise to concerns as to whether such methods were meaningful, or appropriate to mathematics. The discovery of paradoxes stemming from overly naive use of set-theoretic language and methods led to even more pressing concerns as to whether the modern methods were even consistent. This led to heated debates in the early twentieth century and what is sometimes called the “crisis of foundations.” In lectures presented in 1922, David Hilbert launched his Beweistheorie, or Proof Theory, which aimed to justify the use of modern methods and settle the problem of foundations once and for all. This, Hilbert argued, could be achieved as follows. (shrink)

Gottesbeweise gehören zu den großen Themen der abendländischen Philosophie. Im 20. Jahrhundert sind sie mit Hilfe der modernen Logik neu formuliert worden und auch in der analytischen Philosophie werden Gottesbeweise seit Jahrzehnten kontrovers diskutiert. Offenkundig ist die Frage nach der Existenz Gottes im nachmetaphysischen Zeitalter aktueller denn je. Der Band versammelt die großen Gottesbeweise des Mittelalters und der Neuzeit ebenso wie die klassischen Einwände von Hume und Kant. Die sprachanalytische Debatte wird ausführlich dokumentiert und ein eigener Teil ist Kurt (...) Gödel gewidmet, dessen ontologischer Beweis bis heute nicht stichhaltig widerlegt worden ist. Umfassende einleitende Essays führen in die Problematik der Gottesbeweise ein und bieten gut verständliche Rekonstruktionen der jeweiligen Beweisversuche. (shrink)

Collects a variety of mathematics and logic puzzles, some based on the theorems of the mathematician Kurt Godel.

Erste vollständige, historisch-kritische, zweisprachige Edition von Kurt Gödels philosophischen Notizbüchern. Bisher unbekannter philosophischer Gesamtentwurf eines der grössten Denker des 20. Jahrhunderts.

Gödel's relation to the work of Plato, Leibniz, Kant, and Husserl is examined, and a new type of platonic rationalism that requires rational intuition, called ...

Summaries in English, French, German, and Russian.

The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...) theorems in metamathematics including those of Gödel and Church-Rosser. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction. (shrink)

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...

We compare Gödel’s and Brouwer’s explorations of mysticism and its relation to mathematics.

S(zp,zp) performs an innovative analysis of one of modern logic's most celebrated cornerstones: the proof of Gödel's first incompleteness theorem. The book applies the semiotic theories of French post- structuralists such as Julia Kristeva, Jacques Derrida and Gilles Deleuze to shed new light on a fundamental question: how do mathematical signs produce meaning and make sense? S(zp,zp) analyses the text of the proof of Gödel's result, and shows that mathematical language, like other forms of language, enjoys the full complexity of (...) language as a process, with its embodied genesis, constitutive paradoxical forces and unbounded shifts of meaning. These effects do not infringe on the logico-mathematical validity of Gödel's proof. Rather, they belong to a mathematical unconscious that enables the successful function of mathematical texts for a variety of different readers. S(zp,zp) breaks new ground by synthesising mathematical logic and post-structural semiotics into a new form of philosophical fabric, and offers an original way of bridging the gap between the "two cultures". (shrink)

Current mathematical models are notoriously unreliable in describing the time evolution of unexpected social phenomena, from financial crashes to revolution. Can such events be forecast? Can we compute probabilities about them? Can we model them? This book investigates and attempts to answer these questions through GOdel's two incompleteness theorems, and in doing so demonstrates how influential GOdel is in modern logical and mathematical thinking. Many mathematical models are applied to economics and social theory, while GOdel's theorems are able to predict (...) their limitations for more accurate analysis and understanding of national and international events. This unique discussion is written for graduate level mathematicians applying their research to the social sciences, including economics, social studies and philosophy, and also for formal logicians and philosophers of science. (shrink)

This article traces Kurt H. Wolff’s involvement with Italy, from his first sojourn in the 1930s as a German Jewish intellectual in exile to the end of his life. Wolff developed profound ties with the country that hosted him, and that he was forced to abandon once racial laws were introduced there on the eve of World War II. Nonetheless, throughout his life he regarded Italy as an elective homeland of sorts. Wolff’s Italian experience is revisited through a detailed (...) examination of the places where he resided, his activities as a student, teacher, and scholar, and the many individuals with whom he associated, many of whom became his lifelong friends and collaborators. The documentary evidence collected here includes unpublished conversations with some of Wolff’s Italian connections and serves for a consideration of how his ties to Italy had an impact on the development of his sociological and esthetic theories. (shrink)

Proofs of Gödel's First Incompleteness Theorem are often accompanied by claims such as that the gödel sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain gödel sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable (...) and that they are true; otherwise a false theory can yield false gödel sentences. (shrink)