ernest nagel and james r. newman

ernest nagel and james r. newman - godel's proof

77 367 0

Mục lục

Frontispiece
Title Page
Library of Congress Cataloging-in-Publication Data
Dedication
Table of Contents
Foreword to the New Edition by Douglas R. Hofstadter
Acknowledgments
I. Introduction
II. The Problem of Consistency
III. Absolute Proofs of Consistency
IV. The Systematic Codification of Formal Logic
V. An Example of a Successful Absolute Proof of Consistency
VI. The Idea of Mapping and Its Use in Mathematics
VII. Gödel's Proofs
- A. Gödel numbering
- B. The arithmetization of meta-mathematics
- C. The heart of Gödel's argument
- VIII. Concluding Reflections
- Appendix: Notes
- Brief Bibliography
- Index

Tài liệu cùng người dùng

Nonlinear physics with mathematica for scientists and engineers r ennis, g mcguire Nonlinear physics with mathematica for scientists and engineers r ennis, g mcguire
726 423 0
chemical engineering fluid mechanics 2nd edition revised and expanded (r darby) chemical engineering fluid mechanics 2nd edition revised and expanded (r darby)
576 437 0
econometric theory and methods - russell davidson and james g. mackinnon econometric theory and methods - russell davidson and james g. mackinnon
693 1.091 0
cognitive approaches to obsessions and compulsions - r. frost, et. al., (pergamon, 2002) cognitive approaches to obsessions and compulsions - r. frost, et. al., (pergamon, 2002)
531 1.498 0
qed, the strange theory of light and matter - r feynman qed, the strange theory of light and matter - r feynman
163 385 0
bridge to abstract math - mathematical proof and structures, 1st ed. - r. morash bridge to abstract math - mathematical proof and structures, 1st ed. - r. morash
413 855 0

Tài liệu liên quan

ernest nagel and james r. newman - godel's proof ernest nagel and james r. newman - godel's proof
77 367 0
an introduction to programming and numerical methods in matlab - s.r. otto & j.p. denier an introduction to programming and numerical methods in matlab - s.r. otto & j.p. denier
468 601 0
The Use of Selected Medicinal Herbs for Chemoprevention and Treatment of Cancer, Parkinson’s Disease, Heart Disease, and Depression The Use of Selected Medicinal Herbs for Chemoprevention and Treatment of Cancer, Parkinson’s Disease, Heart Disease, and Depression
57 683 0
Tài liệu REPORT TO THE PRESIDENT PREPARE AND INSPIRE: K-12 EDUCATION IN SCIENCE, TECHNOLOGY, ENGINEERING, AND MATH (STEM) FOR AMERICA’S FUTURE docx Tài liệu REPORT TO THE PRESIDENT PREPARE AND INSPIRE: K-12 EDUCATION IN SCIENCE, TECHNOLOGY, ENGINEERING, AND MATH (STEM) FOR AMERICA’S FUTURE docx
142 634 1
Tài liệu Principles of Engineering Mechanics Second EditionH. R. Harrison B S ~PhD, MRAeS ,Formerly doc Tài liệu Principles of Engineering Mechanics Second EditionH. R. Harrison B S ~PhD, MRAeS ,Formerly doc
275 438 0
foreign science and engineering presence in u s potx foreign science and engineering presence in u s potx
21 336 0
entropy and its physical meaning - j. s. dugdale entropy and its physical meaning - j. s. dugdale
209 335 0
AGENDA 2020: A Technology Vision and Research Agenda for America''''s Forest, Wood and Paper Industry doc AGENDA 2020: A Technology Vision and Research Agenda for America''''s Forest, Wood and Paper Industry doc
27 455 0

ernest nagel and james r. newman - godel's proof

Thông tin tài liệu

Từ khóa liên quan

Mục lục

Frontispiece

Title Page

Library of Congress Cataloging-in-Publication Data

Dedication

Table of Contents

Foreword to the New Edition by Douglas R. Hofstadter

Acknowledgments

I. Introduction

II. The Problem of Consistency

III. Absolute Proofs of Consistency

IV. The Systematic Codification of Formal Logic

V. An Example of a Successful Absolute Proof of Consistency

VI. The Idea of Mapping and Its Use in Mathematics

VII. Gödel's Proofs

A. Gödel numbering

B. The arithmetization of meta-mathematics

C. The heart of Gödel's argument

VIII. Concluding Reflections

Appendix: Notes

Brief Bibliography

Index

Tài liệu cùng người dùng

Tài liệu liên quan