Description
Acknowledgments Introduction The Problem of Consistency Absolute Proofs of Consistency The Systematic Codification of Formal Logic An Example of a Successful Absolute Proof of Consistency The Idea of Mapping and Its Use in Mathematics Gédel''s Proofs A Giidel numbering B The arithmetizatlon of meta-mathematics C The heart of Gédel''s argument Concluding Re?ections Appendix: Notes Brief Bibliography Index.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Details
Publisher - Forgotten Books
Language - English
Hardback
Contributors
Author
Ernest Nagel
Published Date -
ISBN - 9780266575962
Dimensions - 22.9 x 15.2 x 0.7 cm
Page Count - 127
Paperback
Contributors
Author
Ernest Nagel
Published Date -
ISBN - 9780282855017
Dimensions - 22.9 x 15.2 x 0.7 cm
Page Count - 129
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
