Yuri I. Manin
Max-Planck-Institut für Mathematik, Bonn, Germany, and Northwestern University, Evanston
Reasoning about computational resource allocation
Crossroads - Special issue on artificial intelligence
Natural halting probabilities, partial randomness, and zeta functions
Information and Computation