Hilbert's formalism and arithmetization of mathematics

DOI10.1023/A:1004919107087zbMATH Open0933.01014OpenAlexW1591170770MaRDI QIDQ1293008

Judson Chambers Webb

Publication date: 29 March 2000

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004919107087

zbMATH Keywords

metamathematicsD. Hilbert

Mathematics Subject Classification ID

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

Related Items (2)

N. G. de Bruijn's contribution to the formalization of mathematics ⋮ An arithmetician against arithmetization: the principles of Charles Hermite

This page was built for publication: Hilbert's formalism and arithmetization of mathematics

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