3 ms·
Things exist that are unknowable
- tromp 8y agoAt 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.