Pages that link to "Item:Q441154"
From MaRDI portal
The following pages link to On the limit of the finite. The Hilbert programme in the context of formalism and finitism (Q441154):
Displaying 12 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- Hilbert's program. An essay on mathematical instrumentalism (Q1100453) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems (Q2037979) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- Finitization procedures and finite model property (Q2770973) (← links)
- M (Q3295836) (← links)
- Hilbert's program sixty years later (Q3799997) (← links)
- (Q4884305) (← links)
- Historical Face of Number Theory(ists) at the Turn of the 19th Century (Q5272915) (← links)
- (Q5488257) (← links)
- In the footsteps of Julius König's paradox (Q5962966) (← links)