The Ways of Hilbert's Axiomatics: Structural and Formal
From MaRDI portal
Publication:5169378
DOI10.1162/POSC_a_00122zbMath1298.03015MaRDI QIDQ5169378
Publication date: 22 July 2014
Published in: Perspectives on Science (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (4)
The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki ⋮ Proofs as Objects ⋮ HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY ⋮ Why Post Did [Not Have Turing’s Thesis]
Cites Work
This page was built for publication: The Ways of Hilbert's Axiomatics: Structural and Formal
