A Definition of Discovery in terms of Generalized Descriptional Complexity

摘要

We give a formal definition of discovery in terms of descriptional complexity, relative to a class of partial recursive functions. Formal definitions of discovery will hopefully give possibilities for systematic analyses of the discovery process