scientific article; zbMATH DE number 1909820
From MaRDI portal
Publication:4805382
DOI10.1023/A:1021348629167zbMath1030.68039MaRDI QIDQ4805382
Publication date: 14 May 2003
Published in: Minds and Machines (Search for Journal in Brave)
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityartificial intelligenceincompletenesscomputabilityTuringChurch-Turing thesismachineeffective procedureordinal logicsmathematical objection
Related Items (3)
Computationalism, the Church-Turing thesis, and the Church-Turing fallacy ⋮ Hypercomputation: Philosophical issues ⋮ Computation, hypercomputation, and physical science
This page was built for publication: