Godel's Proof CIPÚta

NEW YORK UNIVERSITY PRESS New York and London

Copyright © 2001 by New York University /VII rights reserved

Library of Congress Cataloging-in-Publication Data Nagel, Ernest, 1901-

GódePs proof / by Ernest Nagel and James R. Newman.—Rev. ed. / cdited and with a new foreword by Douglas R. Hofstadter. p. cm.

Includes bibliographical references and indcx.

ISBN 0-8147-5816-9 (acid-free paper)

1. GódePs theorcm. I. Newman,James Roy, 1907-1966. II. Hofstadter, Douglas R., 1945- III. Title.

QA9.65 .N34 2002

511.3—dc21    2001044481

New York University Press books are printed on acid-free paper, and their binding materials are chosen for strength and durability.

Manufactured in the United States of America 10 987654 3 2 1

to

Bertrand Russell