A Machine That Knows Its Own Code

Samuel A. Alexander

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

Abstract

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

View on PhilPapers

Author's Profile

Samuel Allen Alexander

Ohio State University (PhD)

Archival history

Archival date: 2013-05-27
View all versions

Categories

Formal Epistemology, Misc in Epistemology

Godelian Arguments Against AI in Philosophy of Cognitive Science

Logic and Philosophy of Logic

Quantified Modal Logic in Logic and Philosophy of Logic

Theories of Knowledge, Misc in Epistemology

Keywords

Knowing machines Reinhardt’s strong mechanistic thesis Lucas–Penrose argument Kleene’s recursion theorem Quantified modal logic

Reprint years

DOI

10.1007/s11225-013-9491-6

Analytics

Added to PP
2013-05-28

Downloads
1,157 (#17,334)

6 months
183 (#20,050)

Historical graph of downloads since first upload

This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.

How can I increase my downloads?