What is the axiomatic method?

DOI10.1007/S11229-009-9668-8zbMATH Open1235.03013OpenAlexW2075432210MaRDI QIDQ408327FDOQ408327

Authors: Jaakko Hintikka 

Publication date: 5 April 2012

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9668-8

Recommendations

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

zbMATH Keywords

axiomatic methodinformationcompletenessset theorylogical consequence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Architecture of Mathematics
• Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
• Title not available (Why is that?)
• Post-Tarskian truth
• IF-logic and truth-definition
• Behavioral criteria of radical translation
• Title not available (Why is that?)
• Title not available (Why is that?)
• The artist and the mathematician. The story of Nicolas Bourbaki, the genius mathematician who never existed
• Truth, negation and other basic notions of logic
• Title not available (Why is that?)
• Independence-friendly logic and axiomatic set theory

Cited In (6)

• The axiomatic method in theory and in practice
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• Hilbert, duality, and the geometrical roots of model theory
• What are implicit definitions?
• On the constructive axiomatic method
• Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory

This page was built for publication: What is the axiomatic method?

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