Pages that link to "Item:Q1293008"
From MaRDI portal
The following pages link to Hilbert's formalism and arithmetization of mathematics (Q1293008):
Displaying 5 items.
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Hilbert vindicated? (Q1293009) (← links)
- Formalism and Hilbert's understanding of consistency problems (Q2042732) (← links)
- An arithmetician against arithmetization: the principles of Charles Hermite (Q2849097) (← links)
- Hilbert's iterativistic tendencies (Q3481661) (← links)