Consistency - What's Logic Got to Do with It? (1996)

Cached

Download Links

by Masood Mortazavi

Active Bibliography

5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
John von Neumann and Hilbert's School of Foundations of Mathematics ∗ – Roman Murawski, Adam Mickiewicz
4 Hilbert’s Program Then and Now – Richard Zach - 2005
Explanatory and Non-Explanatory Demonstrations – Cellucci Carlo
Reviewed by: – Aaro Toomela, Jean-luc Patry Fachbereich, Shevaun D. Neupert, North Carolina - 2010
Contents – Amaury Mouchet - 2011
Philosophy of Mathematics: Making a Fresh Start – Carlo Cellucci
5 The growth of mathematical knowledge: an open world view – Carlo Cellucci
The continuous and the infinitesimal . . . – John L. Bell - 2005
1 Computational logic: Memories of the past and challenges for the future – John Alan Robinson - 2000
The Hilbert problems and Hilbert’s Program – Stephen G. Simpson - 2008
A beginner’s guide to forcing – Timothy Y. Chow
1 Truth and the foundations of mathematics. An introduction – H. G. Dales, G. Oliveri
Contemporary Mathematics A beginner’s guide to forcing – Timothy Y. Chow
Contents Preface 5 Chapter I Why Study Wisdom? 8 – unknown authors
Proofs of Claims Leading to the Intermediate Value Theorem – unknown authors
Chapter 5 Conceptual Graphs – Edited F. Van Harmelen, V. Lifschitz, B. Porter, John F. Sowa
4 On Trace Specifications – Theodore S. Norvell - 1995
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997