On Determining the Irrationality of the Mean of a Random Variable

Abstract

A complexity approach is used to decide whether or not the mean of a sequence of independent identically distributed random variables lies in an arbitrary specified countable subset of the real line. A procedure is described that makes only a finite number of mistakes with probability one. This leads to some speculations on inference of the laws of physics and the computability of the physical constants.