A Dichotomy in Machine Knowledge

MaRDI QIDQ6226925zbMATH OpenFDO

Authors Samuel A. Alexander

Publication date 4 August 2011

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Computability and recursion theory (03D99)

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.

This page was built for publication: A Dichotomy in Machine Knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6226925)