Godel's Proof CIPÚta

NEW YORK UNIVERSITY PRESS New York and London

Copyright © 2001 by New York University Ali rights reserved

Librar)' of Congress Cataloging-in-Publication Data Nagel, Ernest, 1901-

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

Includes bibliographical references and index.

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

1. GódePs theorem. 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 987654321

to

Bertrand Russell