Kurt Gödel: Collected Works: Volume I

Publications 1929-1936

Author: Kurt Gödel,Milton Jonathan Slocum,S. Feferman

Publisher: Oxford University Press

ISBN: 9780195039641

Category: Mathematics

Page: 490

View: 4612

DOWNLOAD NOW »
Kurt Gödel (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. He is 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 that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel'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 Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

The Oxford Handbook of The History of Analytic Philosophy

Author: Michael Beaney

Publisher: OUP Oxford

ISBN: 0191662674

Category: Philosophy

Page: 1184

View: 8358

DOWNLOAD NOW »
During the course of the twentieth century, analytic philosophy developed into the dominant philosophical tradition in the English-speaking world. In the last two decades, it has become increasingly influential in the rest of the world, from continental Europe to Latin America and Asia. At the same time there has been deepening interest in the origins and history of analytic philosophy, as analytic philosophers examine the foundations of their tradition and question many of the assumptions of their predecessors. This has led to greater historical self-consciousness among analytic philosophers and more scholarly work on the historical contexts in which analytic philosophy developed. This historical turn in analytic philosophy has been gathering pace since the 1990s, and the present volume is the most comprehensive collection of essays to date on the history of analytic philosophy. It contains state-of-the-art contributions from many of the leading scholars in the field, all of the contributions specially commissioned. The introductory essays discuss the nature and historiography of analytic philosophy, accompanied by a detailed chronology and bibliography. Part One elucidates the origins of analytic philosophy, with special emphasis on the work of Frege, Russell, Moore, and Wittgenstein. Part Two explains the development of analytic philosophy, from Oxford realism and logical positivism to the most recent work in analytic philosophy, and includes essays on ethics, aesthetics, and political philosophy as well as on the areas usually seen as central to analytic philosophy, such as philosophy of language and mind. Part Three explores certain key themes in the history of analytic philosophy.

Philosophical Explorations of the Legacy of Alan Turing

Turing 100

Author: Juliet Floyd,Alisa Bokulich

Publisher: Springer

ISBN: 3319532804

Category: Science

Page: 361

View: 7220

DOWNLOAD NOW »
This volume presents an historical and philosophical revisiting of the foundational character of Turing’s conceptual contributions and assesses the impact of the work of Alan Turing on the history and philosophy of science. Written by experts from a variety of disciplines, the book draws out the continuing significance of Turing’s work. The centennial of Turing’s birth in 2012 led to the highly celebrated “Alan Turing Year”, which stimulated a world-wide cooperative, interdisciplinary revisiting of his life and work. Turing is widely regarded as one of the most important scientists of the twentieth century: He is the father of artificial intelligence, resolver of Hilbert’s famous Entscheidungsproblem, and a code breaker who helped solve the Enigma code. His work revolutionized the very architecture of science by way of the results he obtained in logic, probability and recursion theory, morphogenesis, the foundations of cognitive psychology, mathematics, and cryptography. Many of Turing’s breakthroughs were stimulated by his deep reflections on fundamental philosophical issues. Hence it is fitting that there be a volume dedicated to the philosophical impact of his work. One important strand of Turing’s work is his analysis of the concept of computability, which has unquestionably come to play a central conceptual role in nearly every branch of knowledge and engineering.

Russell's Unknown Logicism

A Study in the History and Philosophy of Mathematics

Author: S. Gandon

Publisher: Springer

ISBN: 1137024658

Category: Mathematics

Page: 263

View: 7861

DOWNLOAD NOW »
In this excellent book Sebastien Gandon focuses mainly on Russell's two major texts, Principa Mathematica and Principle of Mathematics , meticulously unpicking the details of these texts and bringing a new interpretation of both the mathematical and the philosophical content. Winner of The Bertrand Russell Society Book Award 2013.

Kurt Gödel

Wahrheit & Beweisbarkeit

Author: Kurt Gödel,Eckehart Köhler,Bernd Buldt

Publisher: N.A

ISBN: 9783209038340

Category: Logicians

Page: 448

View: 7930

DOWNLOAD NOW »

Solvability, Provability, Definability

The Collected Works of Emil L. Post

Author: Emil Leon Post

Publisher: Birkhauser

ISBN: 9780817635794

Category: Mathematics

Page: 554

View: 8444

DOWNLOAD NOW »
Emil Post was a pioneer of 20th century mathematical logic whose influence on computer science is particularly remarkable considering his lack of any contact with computing machines. Post's approach, revolutionary for the time, was to study logical systems from the outside, using ordinary mathematical methods. His investigations led him to set forth what has become the standard paradigm for studying logical systems. By showing how a system of logic could be viewed as a kind of general combinatorial system, Post provided the basis for much of modern computer science. No index. Annotation copyright by Book News, Inc., Portland, OR

Futures

Author: Institute for the Future

Publisher: N.A

ISBN: N.A

Category: Economic forecasting

Page: N.A

View: 7368

DOWNLOAD NOW »
The journal of policy, planning, and future studies.

On Gödel

Author: Jaakko Hintikka

Publisher: Wadsworth Publishing Company

ISBN: 9780534575953

Category: Biography & Autobiography

Page: 74

View: 6328

DOWNLOAD NOW »
This brief text assists students in understanding Godel's philosophy and thinking so that they can more fully engage in useful, intelligent class dialogue and improve their understanding of course content. Part of the "Wadsworth Philosophers Series," (which will eventually consist of approximately 100 titles, each focusing on a single "thinker" from ancient times to the present), ON G -DEL is written by a philosopher deeply versed in the philosophy of this key thinker. Like other books in the series, this concise book offers sufficient insight into the thinking of a notable philosopher better enabling students to engage in the reading and to discuss the material in class and on paper.

World Philosophy

A Contemporary Bibliography

Author: John Roy Burr

Publisher: Greenwood Publishing Group

ISBN: N.A

Category: Philosophy

Page: 380

View: 1343

DOWNLOAD NOW »
This selectively annotated bibliography includes entries for nearly 4,000 books and monographs on philosophy published around the world between 1976 and 1992.

Der Gödelsche Beweis

Author: Ernest Nagel,James R. Newman

Publisher: de Gruyter Oldenbourg

ISBN: 9783486597264

Category:

Page: 110

View: 9451

DOWNLOAD NOW »
Spätestens seit Douglas R. Hofstadters "Gödel, Escher, Bach" ist der Name Gödel auch bei Nichtmathematikern bekannt geworden. 1931 hatte Kurt Gödel unter dem Titel "Über formal unterscheidbare Sätze der Principia Mathematica und verwandter Systeme" seinen Unvollständigkeitssatz publiziert. Nagel und Newman haben das Wesentliche an Gödels Ergebnissen für Nichtfachleute dargestellt. Die vorliegende 9. Auflage ist ein unveränderter Nachdruck der längst klassisch gewordenen Ausgabe von 1958.