Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
Yvon Gauthier · 2002
Preface. 1. Introduction. Foundations of Mathematics. 2. From Hilbert to Kronecker. 3. The Consistency of Arithmetic Revisited. 4. The Internal Consistency of Arithmetic with Infinite Descent. 5. From Kronecker to Brouwer. 6. Hilbert and the Foundations of Physics. 7. Conclusion. Internal Logic: From Kronecker to Hilbert and Beyond. References. Subject Index. Name Index.