How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Leonid A. Levin
TL;DR
I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.
Abstract
I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.