On mind \& Turing's machines
From MaRDI portal
Publication:885688
DOI10.1007/s11047-006-9021-9zbMath1120.03006MaRDI QIDQ885688
Publication date: 14 June 2007
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-006-9021-9
Church's thesis; axiom of infinity; Turing machine; Diophantine problem; absolutely unsolvable (undecidable); finite machine; general recursive function; mechanical computability; objective mathematics; subjective mathematics
03A05: Philosophical and critical aspects of logic and foundations
03B25: Decidability of theories and sets of sentences
03D10: Turing machines and related notions
Cites Work