%0 Journal Article
%T A Dichotomy in Machine Knowledge
%A Samuel Alexander
%J Mathematics
%D 2011
%I arXiv
%X 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.
%U http://arxiv.org/abs/1108.0992v1