Skip to main content
SpringerLink
Log in

A Machine That Knows Its Own Code

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alexander, S., The Theory of Several Knowing Machines. Dissertation, The Ohio State University, 2013

  2. Benacerraf P.: God, the devil, and Gödel. The Monist 51, 9–32 (1967)

    Article  Google Scholar 

  3. Carlson T. J.: Ordinal arithmetic and Σ1 elementarity. Archive for Mathematical Logic 38, 449–460 (1999)

    Article  Google Scholar 

  4. Carlson T. J.: Knowledge, machines, and the consistency of Reinhardt’s strong mechanistic thesis. Annals of Pure and Applied Logic 105, 51–82 (2000)

    Article  Google Scholar 

  5. Carlson T. J.: Elementary patterns of resemblance. Annals of Pure and Applied Logic 108, 19–77 (2001)

    Article  Google Scholar 

  6. Carlson, T. J., Sound epistemic theories and collapsing knowledge. Slides from the Workshop on The Limits and Scope of Mathematical Knowledge at the University of Bristol, 2012.

  7. Lucas J. R.: Minds, machines, and Gödel. Philosophy 36, 112–127 (1961)

    Article  Google Scholar 

  8. Penrose, R., The Emperor’s New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford University Press, Oxford, 1989.

  9. Putnam H.: After Gödel. Logic Journal of the IGPL 14, 745–754 (2006)

    Article  Google Scholar 

  10. Reinhardt W.: Absolute versions of incompleteness theorems. Noûs 19, 317–346 (1985)

    Article  Google Scholar 

  11. Shapiro S.: Epistemic and intuitionistic arithmetic. In: Shapiro, S. (eds) Intensional Mathematics., pp. 11–46. Elsevier, Amsterdam (1985)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, The Ohio State University, Columbus, OH, USA

    Samuel A. Alexander

Authors
  1. Samuel A. Alexander
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Samuel A. Alexander.

Additional information

Presented by Richmond Thomason

Rights and permissions

Reprints and permissions

About this article

Cite this article

Alexander, S.A. A Machine That Knows Its Own Code. Stud Logica 102, 567–576 (2014). https://doi.org/10.1007/s11225-013-9491-6

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9491-6

Keywords

Mathematics Subject Classification

Search

Navigation