A Universal Inductive Inference Machine
Osherson, Daniel N. ; Stob, Michael ; Weinstein, Scott
J. Symbolic Logic, Tome 56 (1991) no. 1, p. 661-672 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1991-06-14
Classification:  
@article{1183743665,
     author = {Osherson, Daniel N. and Stob, Michael and Weinstein, Scott},
     title = {A Universal Inductive Inference Machine},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 661-672},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743665}
}

Osherson, Daniel N.; Stob, Michael; Weinstein, Scott. A Universal Inductive Inference Machine. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  661-672. http://gdmltest.u-ga.fr/item/1183743665/