The Semantic Function of the Axiomatic Method

DOI10.1007/978-3-030-77657-2_4MaRDI QIDQ5057050zbMATH OpenOpenAlexFDO

Authors Evandro Agazzi

Publication date 14 December 2022

Published in Axiomatic Thinking I (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-77657-2_4

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Sociology (and profession) of mathematics (01A80) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• What is the axiomatic method?
• scientific article; zbMATH DE number 2216774
• The axiomatic method in theory and in practice
• On the constructive axiomatic method
• Axioms as definitions: revisiting Poincaré and Hilbert

Cites work

• Consistency, truth and ontology
• Hilbert's programs and beyond
• scientific article; zbMATH DE number 3531332 (Why is no real title available?)
• scientific article; zbMATH DE number 3013302 (Why is no real title available?)
• The completeness of the first-order functional calculus

Cited in

(1)

• Hilbert’s Axiomatisches Denken

This page was built for publication: The Semantic Function of the Axiomatic Method

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