Can Turing machines capture everything we can compute?
General Mathematics
2007-05-23 v2
Abstract
If we define classical foundational concepts constructively, and introduce non-algorithmic effective methods into classical mathematics, then we can bridge the chasm between truth and provability, and define computational methods that are not Turing-computable.
Keywords
Cite
@article{arxiv.math/0304379,
title = {Can Turing machines capture everything we can compute?},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0304379},
year = {2007}
}
Comments
v2; introduced standardised ACI compliant notation for citations; 13 pages; an HTML version is available at http://alixcomsi.com/Can_Turing_machines.htm