• Complain

Ernest Nagel - Gödels Proof

Here you can read online Ernest Nagel - Gödels Proof full text of the book (entire story) in english for free. Download pdf and epub, get meaning, cover and reviews about this ebook. year: 2005, publisher: Routledge, genre: Science. Description of the work, (preface) as well as reviews are available. Best literature library LitArk.com created for fans of good reading and offers a wide selection of genres:

Romance novel Science fiction Adventure Detective Science History Home and family Prose Art Politics Computer Non-fiction Religion Business Children Humor

Choose a favorite category and find really read worthwhile books. Enjoy immersion in the world of imagination, feel the emotions of the characters or learn something new for yourself, make an fascinating discovery.

Ernest Nagel Gödels Proof

Gödels Proof: summary, description and annotation

We offer to read an annotation, description, summary or preface (depends on what the author of the book "Gödels Proof" wrote himself). If you haven't found the necessary information about the book — write in the comments, we will try to find it.

Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Gdels celebrated logic bomb. The Guardian In 1931 the mathematical logician Kurt Gdel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godels Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Gdels theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, Gdels 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. Kurt Gdel (1906 1978) Born in Brunn, he was a colleague of physicist Albert Einstein and professor at the Institute for Advanced Study in Princeton, N.J.

Ernest Nagel: author's other books


Who wrote Gödels Proof? Find out the surname, the name of the author of the book and a list of all author's works by series.

Gödels Proof — read online for free the complete book (whole text) full work

Below is the text of the book, divided by pages. System saving the place of the last page read, allows you to conveniently read the book "Gödels Proof" online for free, without having to search again every time where you left off. Put a bookmark, and you can go to the page where you finished reading at any time.

Light

Font size:

Reset

Interval:

Bookmark:

Make

Gdels Proof Nagel and Newman accomplish the wondrous task of clarifying the - photo 1

Gdels Proof

Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Gdels celebrated logic bomb.

The Guardian

A little masterpiece of exegesis.

Nature

Gdels Proof - image 2

Routledge Classics contains the very best of Routledge publishing over the past century or so, books that have, by popular consent, become established as classics in their field. Drawing on a fantastic heritage of innovative writing published by Routledge and its associated imprints, this series makes available in attractive, affordable form some of the most important works of modern times.

For a complete list of titles visit
www.routledgeclassics.com

First published 1958
by Routledge

First published in Routledge Classics 2005
by Routledge
2 Park Square, Milton Park, Abingdon, Oxon, OX14 4RN

Simultaneously published in the USA and Canada
by Routledge
711 Third Avenue, New York, NY 10017

Routledge is an imprint of the Taylor & Francis Group

1958 Ernest Nagel and James R. Newman

Typeset in Joanna by RefineCatch Limited, Bungay, Suffolk

All rights reserved. No part of this book may be reprinted
or reproduced or utilized in any form or by any electronic,
mechanical, or other means, now known or hereafter
invented, including photocopying and recording, or in
any information storage or retrieval system, without
permission in writing from the publishers.

British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library

Library of Congress Cataloging in Publication Data
A catalog record for this book has been requested

ISBN 0-415-35528-1

to Bertrand Russell

CONTENTS
ACKNOWLEDGMENTS

The authors gratefully acknowledge the generous assistance they received from Professor John C. Cooley of Columbia University. He read critically an early draft of the manuscript, and helped to clarify the structure of the argument and to improve the exposition of points in logic. We wish to thank Scientific American for permission to reproduce several of the diagrams in the text, which appeared in an article on Gdels Proof in the June 1956 issue of the magazine. We are indebted to Professor Morris Kline of New York University for helpful suggestions regarding the manuscript.

1

Gdels Proof - image 3

INTRODUCTION

In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title Uber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme (On Formally Undecidable Propositions of Principia Mathematica and Related Systems). Its author was Kurt Gdel, then a young mathematician of 25 at the University of Vienna and since 1938 a permanent member of the Institute for Advanced Study at Princeton. The paper is a milestone in the history of logic and mathematics. When Harvard University awarded Gdel an honorary degree in 1952, the citation described the work as one of the most important advances in logic in modern times.

At the time of its appearance, however, neither the title of Gdels paper nor its content was intelligible to most mathematicians. The Principia Mathematica mentioned in the title is the monumental three-volume treatise by Alfred North Whitehead and Bertrand Russell on mathematical logic and the foundations of mathematics; and familiarity with that work is not a prerequisite to successful research in most branches of mathematics. Moreover, Gdels paper deals with a set of questions that has never attracted more than a comparatively small group of students. The reasoning of the proof was so novel at the time of its publication that only those intimately conversant with the technical literature of a highly specialized field could follow the argument with ready comprehension. Nevertheless, the conclusions Gdel established are now widely recognized as being revolutionary in their broad philosophical import. It is the aim of the present essay to make the substance of Gdels findings and the general character of his proof accessible to the non-specialist.

Gdels famous paper attacked a central problem in the foundations of mathematics. It will be helpful to give a brief preliminary account of the context in which the problem occurs. Everyone who has been exposed to elementary geometry will doubtless recall that it is taught as a deductive discipline. It is not presented as an experimental science whose theorems are to be accepted because they are in agreement with observation. This notion, that a proposition may be established as the conclusion of an explicit logical proof, goes back to the ancient Greeks, who discovered what is known as the axiomatic method and used it to develop geometry in a systematic fashion. The axiomatic method consists in accepting without proof certain propositions as axioms or postulates (e.g., the axiom that through two points just one straight line can be drawn), and then deriving from the axioms all other propositions of the system as theorems. The axioms constitute the foundations of the system; the theorems are the superstructure, and are obtained from the axioms with the exclusive help of principles of logic.

The axiomatic development of geometry made a powerful impression upon thinkers throughout the ages; for the relatively small number of axioms carry the whole weight of the inexhaustibly numerous propositions derivable from them. Moreover, if in some way the truth of the axioms can be establishedand, indeed, for some two thousand years most students believed without question that they are true of spaceboth the truth and the mutual consistency of all the theorems are automatically guaranteed. For these reasons the axiomatic form of geometry appeared to many generations of outstanding thinkers as the model of scientific knowledge at its best. It was natural to ask, therefore, whether other branches of thought besides geometry can be placed upon a secure axiomatic foundation. However, although certain parts of physics were given an axiomatic formulation in antiquity (e.g., by Archimedes), until modern times geometry was the only branch of mathematics that had what most students considered a sound axiomatic basis.

But within the past two centuries the axiomatic method has come to be exploited with increasing power and vigor. New as well as old branches of mathematics, including the familiar arithmetic of cardinal (or whole) numbers, were supplied with what appeared to be adequate sets of axioms. A climate of opinion was thus generated in which it was tacitly assumed that each sector of mathematical thought can be supplied with a set of axioms sufficient for developing systematically the endless totality of true propositions about the given area of inquiry.

Gdels paper showed that this assumption is untenable. He presented mathematicians with the astounding and melancholy conclusion that the axiomatic method has certain inherent limitations, which rule out the possibility that even the ordinary arithmetic of the integers can ever be fully axiomatized. What is more, he proved that it is impossible to establish the internal logical consistency of a very large class of deductive systems elementary arithmetic, for exampleunless one adopts principles of reasoning so complex that their internal consistency is as open to doubt as that of the systems themselves. In the light of these conclusions, no final systematization of many important areas of mathematics is attainable, and no absolutely impeccable guarantee can be given that many significant branches of mathematical thought are entirely free from internal contradiction.

Next page
Light

Font size:

Reset

Interval:

Bookmark:

Make

Similar books «Gödels Proof»

Look at similar books to Gödels Proof. We have selected literature similar in name and meaning in the hope of providing readers with more options to find new, interesting, not yet read works.


Reviews about «Gödels Proof»

Discussion, reviews of the book Gödels Proof and just readers' own opinions. Leave your comments, write what you think about the work, its meaning or the main characters. Specify what exactly you liked and what you didn't like, and why you think so.