The Mathematics and Computation blog focuses on connections between mathematics and the theory of computation. The blog is owned and written by Andrej Bauer, with occasional guest posts.

The Mathematics and Computation blog focuses on connections between mathematics and the theory of computation. The blog is owned and written by Andrej Bauer, with occasional guest posts.