3 ms·
At http://tromp.github.io/cl/Binary_lambda_calculus.html#Halting_probability http://tromp.github.io/cl/Binary_lambda_calculus.html#Haltin... I was only able to
by tromp 8y ago
At http://tromp.github.io/cl/Binary_lambda_calculus.html#Halting_probability http://tromp.github.io/cl/Binary_lambda_calculus.html#Haltin... I was only able to determine the first 4 bits of Ω_λ, the Chaitin number or halting probability of Binary Lambda Calculus.