Learning Theory (Gold style); Computability; Philosophy of Science.