> A closely related concept about quantifying the behavior of all Turing machines is Chaitin's omega More precisely, Chaitin's Omega quantifies the behaviour o

> A closely related concept about quantifying the behavior of all Turing machines is Chaitin's omega More precisely, Chaitin's Omega quantifies the behaviour of all Lisp expressions, since he defined it not in terms of Turing machines, but in terms of a universal lisp interpreter. Not your standard lisp either, but a minimal version geared toward Algorithmic Information Theory [1]. [1] https://www.jucs.org/jucs_2_5/the_limits_of_mathematics/Chaitin_G_J.html https://www.jucs.org/jucs_2_5/the_limits_of_mathematics/Chai...