How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?

09/19/2022

∙

by   Leonid A. Levin, et al.

∙

0

∙

share

I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.