A machine that knows its own code
Logic
2019-11-19 v2
Authors:
Samuel Alexander
Abstract
We construct a machine that knows its own code, at the price of not knowing its own factivity.
Cite
@article{arxiv.1305.6080,
title = {A machine that knows its own code},
author = {Samuel Alexander},
journal= {arXiv preprint arXiv:1305.6080},
year = {2019}
}
Comments
7 pages
Related papers
View all related →
Logic · Mathematics
A Dichotomy in Machine Knowledge
Samuel Alexander
2011-08-05
Computers and Society · Computer Science
Programming for All: Understanding the Nature of Programs
Andrej Brodnik, Andrew Csizmadia, Gerald Futschek, Lidija Kralj +3
2021-12-07
Logic in Computer Science · Computer Science
A Tale of Two Turing Machines
Eric Hehner
2016-10-31
Artificial Intelligence · Computer Science
Will we ever have Conscious Machines?
Patrick Krauss, Andreas Maier
2020-12-29
Logic in Computer Science · Computer Science
Intensional Constructed Numbers: Towards Formalizing the Notion of Algorithm
Fritz Müller
2017-09-26
Computer Science and Game Theory · Computer Science
Verifiably Truthful Mechanisms
Simina Brânzei, Ariel D. Procaccia
2014-12-02
Artificial Intelligence · Computer Science
An Essay concerning machine understanding
Herbert L. Roitblat
2024-05-06
Artificial Intelligence · Computer Science
Computing Machinery and Knowledge
Raymond Anneborg
2020-12-15
Software Engineering · Computer Science
Machine structure oriented control code logic
J. A. Bergstra, C. A. Middelburg
2009-09-02
Artificial Intelligence · Computer Science
The Challenge of Crafting Intelligible Intelligence
Daniel S. Weld, Gagan Bansal
2018-10-16
Artificial Intelligence · Computer Science
A Survey of the Various Methodologies Towards making Artificial Intelligence More Explainable
Sopam Dasgupta
2023-11-07
Machine Learning · Computer Science
Explainability of Algorithms
Andrés Páez
2025-08-20
Artificial Intelligence · Computer Science
Deductive Algorithmic Knowledge
Riccardo Pucella
2007-05-23
Programming Languages · Computer Science
Declarativeness: the work done by something else
Attila Egri-Nagy
2017-11-28
Neurons and Cognition · Quantitative Biology
Consciousness is not a physically provable property
Cathy M Reason
2017-09-27
Artificial Intelligence · Computer Science
On computable abstractions (a conceptual introduction)
Alejandro Sanchez Guinea
2015-03-31
Programming Languages · Computer Science
A Simple Differentiable Programming Language
Martin Abadi, Gordon D. Plotkin
2020-02-04
Software Engineering · Computer Science
Position: Intelligent Coding Systems Should Write Programs with Justifications
Xiangzhe Xu, Shiwei Feng, Zian Su, Chengpeng Wang +1
2025-08-11
Artificial Intelligence · Computer Science
Should Robots be Obedient?
Smitha Milli, Dylan Hadfield-Menell, Anca Dragan, Stuart Russell
2017-05-30
Programming Languages · Computer Science
Uniqueness is Separation
Liam O'Connor, Pilar Selene Linares Arevalo, Christine Rizkallah
2026-02-09
Logic in Computer Science · Computer Science
An in-between "implicit" and "explicit" complexity: Automata
Clément Aubert
2015-02-05
Machine Learning · Computer Science
Machine Learning and Knowledge: Why Robustness Matters
Jonathan Vandenburgh
2023-11-01
Computer Science and Game Theory · Computer Science
Automated Mechanism Design for Classification with Partial Verification
Hanrui Zhang, Yu Cheng, Vincent Conitzer
2021-04-13
Artificial Intelligence · Computer Science
Detecting Qualia in Natural and Artificial Agents
Roman V. Yampolskiy
2017-12-13
Artificial Intelligence · Computer Science
AI Consciousness is Inevitable: A Theoretical Computer Science Perspective
Lenore Blum, Manuel Blum
2026-05-04