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

HilbertFregefoundations of mathematicsinternal consistencyCantorHusserlDedekindarithmetization of mathematics and logicconstructive logic of arithmeticFermat's infinite descentinternal logicKronecker's general arithmetic of formslogic of content

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (7)

Hermann Weyl on Minkowskian Space–Time and Riemannian Geometry ⋮ Historical and foundational details on the method of infinite descent: every prime number of the form \(4n+1\) is the sum of two squares ⋮ A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory ⋮ On a recursive construction of circular paths and the search for \(\pi \) on the integer lattice \(\mathbb {Z}^2\) ⋮ Toward a clarity of the extreme value theorem ⋮ 2006 Annual Meeting of the Association for Symbolic Logic ⋮ The construction of chaos theory

This page was built for publication: Internal logic. Foundations of mathematics from Kronecker to Hilbert