scientific article; zbMATH DE number 859510

zbMATH Open0849.00016MaRDI QIDQ4872674FDOQ4872674

Authors: Michael Detlefsen 

Publication date: 22 April 1996

Title of this publication is not available (Why is that?)

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

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)

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
• Axiomatics and philosophy. Kant, Hilbert Vuillemin.
• Formalism and Hilbert's understanding of consistency problems
• 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
• Title not available (Why is that?)

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)