Pages that link to "Item:Q5668463"
From MaRDI portal
The following pages link to Which number theoretic problems can be solved in recursive progressions on Π<sub>1</sub><sup>1</sup>-paths through <i>O</i>? (Q5668463):
Displaying 6 items.
- A notion of mechanistic theory (Q1217700) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Mechanism, truth, and Penrose's new argument (Q1871136) (← links)
- Squeezing Feasibility (Q3188242) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Incompleteness, Mechanism, and Optimism (Q4227855) (← links)