Wright on the Non-mechanizability of Intuitionist Reasoning
From MaRDI portal
Publication:4859239
Recommendations
- Intuitionists Are Not (Turing) Machines
- Intuitionism and logical tolerance
- Defeasible reasoning: A discussion of some intuitions
- On A neglected path to intuitionism
- Brouwer and Fraenkel on Intuitionism
- Intuitionism and relevance
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- Truth and proof in intuitionism
- Methods and Applications of Artificial Intelligence
- Dummett's case for intuitionism
This page was built for publication: Wright on the Non-mechanizability of Intuitionist Reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4859239)