Resumen de Theoretical Preduction and Computational Scientific Discovery
Can deductive reasoning be applied to the context of discovery of mathematical physics? I term "preduction" the method of reasoning that, starting from the available theoretical background as a whole, allows for the anticipation of previously unknown results, provided that the combination of already accepted results of different theories – those taken as premises of the deductive reasoning – is compatible with dimensional analysis. This is the method by which many hypotheses, laws, and theoretical models are introduced into physics. "Computational preduction" further extends the possibilities of machine learning, which in the past forty years has informed computational systems, implementing both the rediscovery of empirical laws and the automated discovery of equations in data bases. Automated preduction would also facilitate scientific creativity in theoretical physics.
