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

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

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

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

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

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

Revue de mathématique élémentaires

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: N.A

View: 3289

Elemente der Mathematik (EL) publishes survey articles about important developments in the field of mathematics; stimulating shorter communications that tackle more specialized questions; and papers that report on the latest advances in mathematics and applications in other disciplines. The journal does not focus on basic research. Rather, its articles seek to convey to a wide circle of readers - teachers, students, engineers, professionals in industry and administration - the relevance, intellectual challenge and vitality of mathematics today. The Problems Section, covering a diverse range of exercises of varying degrees of difficulty, encourages an active grappling with mathematical problems.
Release

Kurt Gödel

Jahrhundertmathematiker und großer Entdecker

Author: Rebecca Goldstein

Publisher: N.A

ISBN: 9783492249607

Category:

Page: 312

View: 5738

Release

Kurt Gödel

Wahrheit & Beweisbarkeit

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

Publisher: N.A

ISBN: 9783209038340

Category: Logicians

Page: 448

View: 322

Release

Solvability, Provability, Definability

The Collected Works of Emil L. Post

Author: Emil Leon Post

Publisher: Birkhauser

ISBN: 9780817635794

Category: Mathematics

Page: 554

View: 7028

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

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

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

Concepts for Neural Networks

A Survey

Author: Lawrence Jay Landau,John Gerald Taylor

Publisher: Springer Verlag

ISBN: 9783540761631

Category: Computers

Page: 307

View: 3166

Concepts for Neural Networks - A Survey provides a wide-ranging survey of concepts relating to the study of neural networks. It includes chapters explaining the basics of both artificial neural networks and the mathematics of neural networks, as well as chapters covering the more philosophical background to the topic and consciousness. There is also significant emphasis on the practical use of the techniques described in the area of robotics. Containing contributions from some of the world's leading specialists in their fields (including Dr. Ton Coolen and Professor Igor Aleksander), this volume will provide the reader with a good, general introduction to the basic concepts needed to understan d and use neural network technology.
Release

Unvollständigkeit und Unentscheidbarkeit

Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Author: Wolfgang Stegmüller

Publisher: Springer-Verlag

ISBN: 3709183529

Category: Mathematics

Page: 116

View: 8495

Release

Logikkalküle

Author: Michael M. Richter

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 232

View: 8948

Release

American book publishing record cumulative, 1876-1949

an American national bibliography

Author: R.R. Bowker Company. Dept. of Bibliography,R.R. Bowker Company. Product Development Dept,R.R. Bowker Company. Publications Systems Dept

Publisher: N.A

ISBN: N.A

Category: United States

Page: N.A

View: 932

Release