Internal logic. Foundations of mathematics from Kronecker to Hilbert

zbMath1019.03001MaRDI QIDQ1396583

Yvon Gauthier

Publication date: 3 July 2003

Published in: Synthese Library (Search for Journal in Brave)

zbMATH Keywords

Hilbert; Frege; foundations of mathematics; internal consistency; Cantor; Husserl; Dedekind; arithmetization of mathematics and logic; constructive logic of arithmetic; Fermat's infinite descent; internal logic; Kronecker's general arithmetic of forms; logic of content

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

01A60: History of mathematics in the 20th century

03A05: Philosophical and critical aspects of logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03F30: First-order arithmetic and fragments

03-03: History of mathematical logic and foundations

01A55: History of mathematics in the 19th century

Related Items

Hermann Weyl on Minkowskian Space–Time and Riemannian Geometry, A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory, The construction of chaos theory, Toward a clarity of the extreme value theorem, 2006 Annual Meeting of the Association for Symbolic Logic