True to form as the original “curious character,” legendary physicist Richard Feynman often broke out of his favored field of expertise to give his own special slant on other areas. One important case ...

This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...

Theory of Computation offers a rigorous mathematical framework that underpins our understanding of what can be computed and how efficiently these computations may be performed. It encompasses ...

Physicists and computer scientists have recently expanded the modern theory of the thermodynamics of computation. By combining approaches from statistical physics and computer science, the researchers ...

We compute the stabilization of functors from exact categories to abelian groups derived from n-fold tensor products. Rationally, this gives a new computation for the relative algebraic K-theory of ...

We study randomness beyond Π 1 1 -randomness and its Martin-Löf type variant, which was introduced in [16] and further studied in [3]. Here we focus on a class strictly between Π 1 1 and Σ 2 1 that is ...