International conference on computability, complexity and randomness

Created:	2022-06-09 12:34
Institution:	Isaac Newton Institute for Mathematical Sciences
Description:	In 2012, the Newton Institute hosted a high-profile programme Syntax and Semantics: A Legacy of Alan Turing, which was a major component of the worldwide Alan Turing Year celebrations. The capstone workshop of the Syntax and Semantics programme was the 7th Conference on computability, Complexity and Randomness. This follow-up workshop serves as the 15th Conference on Computability, Complexity and Randomness. Computability, Complexity and Randomness is a series of conferences devoted generally to the mathematics of computation and complexity, but tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Algorithmic randomness is the part of mathematics devoted to ascribing meaning to the randomness of individual strings and infinite sequences. For example, we give mathematical meaning to the intuition that one would more readily believe that the string 01101101001101011 was produced via the flips of a fair coin than one would of the string 00000000000000000. The core idea is that a sequence is algorithmically random if it passes all computational randomness tests, and hence if a computational observer cannot distinguish its behaviour in some process from the expected behaviour. There are several historical approaches to algorithmic randomness, such as computable martingales, Kolmogorov complexity and Martin-Loff of randomness. Algorithmic randomness is also related to classical concepts, such as entropy (in the senses of Shannon and Boltzmann). The mathematics of this area is really quite deep. The kinds of questions include: How do we calibrate levels of randomness? Can we amplify weak random sources? Is randomness a provable computational resource? What kinds of power do random sources give us? And so on. Tools from this area can be used in many areas of mathematics and computer science, including the expected behaviour of algorithms, computational biology, ergodic theory, geometric measure theory, number theory and normality. The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic, such as Kolmogorov complexity, computational complexity and reverse mathematics.
Website:	https://www.newton.ac.uk/event/sasw09/