Book:Javier Fresán/The Dream of Reason

From ProofWiki
Jump to: navigation, search

Javier Fresán: The Dream of Reason: Mathematical logic and its paradoxes

Published $2017$, National Geographic

ISBN 978-84-473-8928-5.


Contents

Preface


Chapter 1. The Axiomatic Method
Chapter 2. The Paradoxes
Chapter 3. Hilbert's Programme
Chapter 4. Gödel's Theorems
Chapter 5. Turing Machines
Chapter 6. All's Well That Never Ends


Bibliography
Index