Costs of general purpose learning

Abstract

Leo Harrington constructed a machine which can learn any computable function f according to Bc*-identification. His machine outputs a corresponding infinite sequence of programs and for some, the programs each compute a variant of f which differs from f at only finitely many argument places. A general purpose learning machine M was constructed such that on computable function input all but finitely many of the programs output by M are for total functions.