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 NonExplanatory Demonstrations
– Cellucci Carlo


Reviewed by:
– Aaro Toomela, Jeanluc 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
