CHAITIN'S Omega AS A CONTINUOUS FUNCTION

Holzl, R; Merkle, W; Miller, J; Stephan, F; Yu, L

Holzl, R (corresponding author), Bundeswehr Univ Munich, Fac Comp Sci, Inst 1, Werner Heisenberg Weg 39, D-85579 Neubiberg, Germany.

JOURNAL OF SYMBOLIC LOGIC, 2020; 85 (1): 486

Abstract

We prove that the continuous function (Omega) over cap : 2 omega -> R that is defined via X bar right arrow Sigma(n) 2(-K(X up arrow n)) for all X ......

Full Text Link