Intuitionists Are Not (Turing) Machines

DOI10.1093/PHILMAT/3.1.86zbMath0842.03005OpenAlexW2121140357MaRDI QIDQ4859238

Crispin Wright

Publication date: 24 July 1996

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/3.1.86

zbMATH Keywords

Gödel's incompleteness theoremsphilosophy of mindmechanisation of thinking

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Intuitionists Are Not (Turing) Machines