Unity of Science as Seen Through the Universal Computer

Unification is a common word in Physics as well as in other sciences such as Biology (with the case of natural selection). In this paper, working with basic concepts such as models of empirical scientist that after collecting finitely many experimental observations, comes with a law, and theoretical scientist that after collecting finitely many scientific laws, comes up with a theory, we apply concepts of algorithmic learning theory to shed some light on the concepts of unity and unification common in the philosophy of science, namely that theories (as collections of theorems) established by inductive methods may not be unifiable by inductive methods.