A Dichotomy in Machine Knowledge
Logic
2011-08-05 v1
Abstract
We show that a machine, which knows basic logic and arithmetic and basic axioms of knowledge, and which is factive (knows nothing false), can either know that it is factive, or know its own Goedel number, but not both.
Cite
@article{arxiv.1108.0992,
title = {A Dichotomy in Machine Knowledge},
author = {Samuel Alexander},
journal= {arXiv preprint arXiv:1108.0992},
year = {2011}
}
Comments
6 pages