A Machine That Knows Its Own Code

Studia Logica 102 (3):567-576 (2014)
  Copy   BIBTEX

Abstract

We construct a machine that knows its own code, at the price of not knowing its own factivity

Categories

Keywords

Reprint years

DOI

10.1007/s11225-013-9491-6

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Some Properties of Humanly Known and Humanly Knowable Mathematics.Jason L. Megill, Tim Melvin & Alex Beal - 2014 - Axiomathes 24 (1):81-88.
Mechanism, truth, and Penrose's new argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.
Menschen, maschinen und gödels theorem.Rosemarie Rheinwald - 1991 - Erkenntnis 34 (1):1 - 21.
Yesterday’s Algorithm: Penrose and the Gödel Argument.William Seager - 2003 - Croatian Journal of Philosophy 3 (9):265-273.
Remarks on Penrose’s “New Argument”.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):231-237.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Consistency, mechanicalness, and the logic of the mind.Qiuen Yu - 1992 - Synthese 90 (1):145-79.
Knowledge, Machines, and the Consistency of Reinhardt's Strong Mechanistic Thesis.Timothy J. Carlson - 2000 - Annals of Pure and Applied Logic 105 (1--3):51--82.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
McCall’s Gödelian Argument is Invalid.Panu Raatikainen - 2002 - Facta Philosophica 4 (1):167-69.
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.

Analytics

Added to PP
2013-05-28

Downloads
811 (#18,014)

6 months
99 (#40,554)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Samuel Allen Alexander
Ohio State University (PhD)

Citations of this work

Self-referential theories.Samuel A. Alexander - 2020 - Journal of Symbolic Logic 85 (4):1687-1716.
Fast-Collapsing Theories.Samuel A. Alexander - 2013 - Studia Logica (1):1-21.

Add more citations

References found in this work

Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.
Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.
God, the Devil, and Gödel.Paul Benacerraf - 1967 - The Monist 51 (1):9-32.

View all 16 references / Add more references