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: 4340

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.
Release

The Oxford Handbook of The History of Analytic Philosophy

Author: Michael Beaney

Publisher: OUP Oxford

ISBN: 0191662674

Category: Philosophy

Page: 1184

View: 8878

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.
Release

Philosophical Explorations of the Legacy of Alan Turing

Turing 100

Author: Juliet Floyd,Alisa Bokulich

Publisher: Springer

ISBN: 3319532804

Category: Science

Page: 361

View: 5791

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.
Release

Introduction to Mathematical Logic, Fourth Edition

Author: Elliott Mendelson

Publisher: CRC Press

ISBN: 9780412808302

Category: Mathematics

Page: 440

View: 1969

DOWNLOAD NOW »

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them. Introduction to Mathematical Logic includes: propositional logic first-order logic first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski axiomatic set theory theory of computability The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.
Release

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: 3253

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.
Release

Solvability, Provability, Definability

The Collected Works of Emil L. Post

Author: Emil Leon Post

Publisher: Birkhauser

ISBN: 9780817635794

Category: Mathematics

Page: 554

View: 9810

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
Release

Futures

Author: Institute for the Future

Publisher: N.A

ISBN: N.A

Category: Economic forecasting

Page: N.A

View: 9361

DOWNLOAD NOW »

The journal of policy, planning, and future studies.
Release

On Gödel

Author: Jaakko Hintikka

Publisher: Wadsworth Publishing Company

ISBN: 9780534575953

Category: Biography & Autobiography

Page: 74

View: 6409

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.
Release