Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 56, Issue 2 (1991), 661-672.
A Universal Inductive Inference Machine
A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Lowenheim-Skolem condition.
J. Symbolic Logic, Volume 56, Issue 2 (1991), 661-672.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Osherson, Daniel N.; Stob, Michael; Weinstein, Scott. A Universal Inductive Inference Machine. J. Symbolic Logic 56 (1991), no. 2, 661--672. https://projecteuclid.org/euclid.jsl/1183743665