Samuel Rathmanner is a contemporary researcher in artificial intelligence and the foundations of inductive reasoning. He is best known for his collaborative work with Marcus Hutter on a philosophical and mathematical treatise defending Solomonoff induction as a formal theory of universal inference.
Co-authored 'A Philosophical Treatise of Universal Induction' with Marcus Hutter (2011)
Provided a rigorous defense of Solomonoff induction against standard philosophical objections
Contributed to formal epistemology bridging algorithmic information theory and inductive reasoning
Applied Tarski-style semantic limitation results to constraints on formal systems