Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Randomness Conservation Inequalities; Information and Independence in Mathematical Theories
Leonid A. Levin
The article develops further Kolmogorov's Algorithmic Complexity Theory. The definition of Randomness is modified to satisfy strong invariance properties (conservation inequalities…
cs.CC2026
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.