The following pages link to (Q4793041):
Displaying 6 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- On the concept of finitism (Q510710) (← links)
- A simple proof of Parsons' theorem (Q558443) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
