The following pages link to (Q3256321):
Displayed 9 items.
- Péter on Church's thesis, constructivity and computers (Q2117808) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- Peptide Computers (Q3166940) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
- Gödel and Intuitionism (Q5250219) (← links)