Godel's Proof

ISBN-13: 9780415355285 / Angielski / Miękka / 2005 / 104 str.

James R. Newman

Opis

A combination of science and accessibility, this book is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. It presents a readable explanation to both scholars and non-specialists alike.

Spis treści

Chapter 1 Introduction; Chapter 2 The Problem of Consistency; Chapter 3 Absolute Proofs of Consistency; Chapter 4 The Systematic Codification of Formal Logic; Chapter 5 An Example of a Successful Absolute Proof of Consistency; Chapter 6 The Idea of Mapping and Its Use in Mathematics; Chapter 7 Gödel's Proofs; Chapter 8 Concluding Reflections;

O autorze

James R. Newman