The Evolution Of Principia Mathematica


Download The Evolution Of Principia Mathematica PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get The Evolution Of Principia Mathematica book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.

Download

The Evolution of Principia Mathematica


The Evolution of Principia Mathematica

Author: Bernard Linsky

language: en

Publisher: Cambridge University Press

Release Date: 2011-06-09


DOWNLOAD





Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The Hierarchy of Propositions and Functions', which was divided up and re-used to create the final changes for the second edition. These documents provide fascinating insight, including Russell's attempts to work out the theorems in the flawed Appendix B, 'On Induction'. An extensive introduction describes the stages of the manuscript material on the way to print and analyzes the proposed changes in the context of the development of symbolic logic after 1910.

Principia Mathematica


Principia Mathematica

Author: Alfred North Whitehead

language: en

Publisher: Cambridge University Press

Release Date: 1927


DOWNLOAD





The Principia Mathematica has long been recognised as one of the intellectual landmarks of the century.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems


On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Author: Kurt Gödel

language: en

Publisher: Courier Corporation

Release Date: 1992-01-01


DOWNLOAD





In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics. The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument. This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.