On the close interaction between algorithmic randomness and constructive/computable measure theory

12/08/2018
by   Jason Rute, et al.
0

This is a survey of constructive and computable measure theory with an emphasis on the close connections with algorithmic randomness. We give a brief history of constructive measure theory from Brouwer to the present, emphasizing how Schnorr randomness is the randomness notion implicit in the work of Brouwer, Bishop, Demuth, and others. We survey a number of recent results showing that classical almost everywhere convergence theorems can be used to characterize many of the common randomness notions including Schnorr randomness, computable randomness, and Martin-Löf randomness. Last, we go into more detail about computable measure theory, showing how all the major approaches are basically equivalent (even though the definitions can vary greatly).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2022

Ergodic theorems for algorithmically random points

This paper is a survey of applications of the theory of algorithmic rand...
research
04/13/1999

A Computer Scientist's View of Life, the Universe, and Everything

Is the universe computable? If so, it may be much cheaper in terms of in...
research
05/18/2018

An Algorithmic Refinement of Maxent Induces a Thermodynamic-like Behaviour in the Reprogrammability of Generative Mechanisms

Reprogramming a generative mechanism to produce a different object is as...
research
08/03/2022

Local time of Martin-Lof Brownian motion

In this paper we study the local times of Brownian motion from the point...
research
10/01/2019

Non-algorithmic theory of randomness

This paper proposes an alternative language for expressing results of th...
research
06/21/2019

Power and limitations of conformal martingales

This paper, accompanying my poster at ISIPTA 2019 (5 July 2019), poses t...
research
08/15/2023

Effective Continued Fraction Dimension versus Effective Hausdorff Dimension of Reals

We establish that constructive continued fraction dimension originally d...

Please sign up or login with your details

Forgot password? Click here to reset