scientific article; zbMATH DE number 859510

MaRDI QIDQ4872674zbMATH OpenFDO

Authors Michael Detlefsen

Publication date 22 April 1996

zbMATH Keywords

idealismKantianismHilbert's formalism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical propositional logic (03B05) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)

Recommendations

• A formalization of Kant's transcendental logic
• Kant and the Character of Mathematical Inference
• Formalism and Hilbert's understanding of consistency problems
• scientific article; zbMATH DE number 2211754
• The ways of Hilbert's axiomatics: structural and formal
• The ways of Hilbert's axiomatics: structural and formal
• scientific article; zbMATH DE number 2171650
• Hilbertian structuralism and the Frege-Hilbert controversy
• Kant's logic revisited

Cited in

(8)

• One String Attached: Geometrical Exactness in Leibniz’s Parisian Manuscripts
• Hilbert's axiomatics as `symbolic form'?
• An Argumentative Approach to Ideal Elements in Mathematics
• Formalism and Hilbert's understanding of consistency problems
• Axiomatics and philosophy. Kant, Hilbert Vuillemin.
• Hilbert on consistency as a guide to mathematical reality
• On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary
• scientific article; zbMATH DE number 2211754 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4872674)