39 citations · 89 across the 17 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CC2022
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Leonid A. Levin
I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.
cs.CC2022
Gacs-Kucera Theorem
Leonid A. Levin
Gacs-Kucera Theorem, tightened by Barmpalias and Lewis-Pye, w.t.t.-reduces each infinite sequence to a Kolmogorov--Martin-Lof random one and is broadly used in various Math and CS…