Pages that link to "Item:Q5250212"
From MaRDI portal
The following pages link to Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212):
Displaying 6 items.
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Péter on Church's thesis, constructivity and computers (Q2117808) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- A Dialogical Account of the Intersubjectivity of Intuitionism (Q3305646) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
