RANDOMNESS IN ARITHMETIC
In M. E. Carvallo, Nature, Cognition and System, Vol. 3, Kluwer, 1992.
The following sections are included:
History
How to toss a coin?
Information theory
Undecidability of halting problem (Turing 1936)
The halting probability Ω
“Computing” Ω in the limit
Equation for Ω
Solvable/unsolvable?
Finitely/infinitely many solutions?
Universal diophantine equation
Constructing the equation
Toy pure LISP
LISP register machine
Summary
References