A Mechanical Method of Successful Scientific Inquiry
Abstract
May 25, 1990 Abstract A paradigm of scientific discovery is defined within a first-order logical framework. Within this paradigm, the concept of “successful scientific inquiry” is formalized and investigated. Among other results, it is shown that a simple method of scientific inquiry is universal in the sense that it leads to success on every problem for which success is in principle possible.
Cite
Text
Osherson et al. "A Mechanical Method of Successful Scientific Inquiry." Annual Conference on Computational Learning Theory, 1990. doi:10.1016/B978-1-55860-146-8.50018-7Markdown
[Osherson et al. "A Mechanical Method of Successful Scientific Inquiry." Annual Conference on Computational Learning Theory, 1990.](https://mlanthology.org/colt/1990/osherson1990colt-mechanical/) doi:10.1016/B978-1-55860-146-8.50018-7BibTeX
@inproceedings{osherson1990colt-mechanical,
title = {{A Mechanical Method of Successful Scientific Inquiry}},
author = {Osherson, Daniel N. and Stob, Michael and Weinstein, Scott},
booktitle = {Annual Conference on Computational Learning Theory},
year = {1990},
pages = {187-201},
doi = {10.1016/B978-1-55860-146-8.50018-7},
url = {https://mlanthology.org/colt/1990/osherson1990colt-mechanical/}
}