On Turing Machines Knowing Their Own Gödel-Sentences†

DOI10.1093/PHILMAT/9.1.72zbMath0995.03030OpenAlexW2012895811MaRDI QIDQ2765286

Neil Tennant

Publication date: 7 October 2002

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

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

zbMATH Keywords

Turing machineGödel sentence

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: On Turing Machines Knowing Their Own Gödel-Sentences†