For a computable binary tree, is having no computable branches the same as having no probabilistic algorithm for producing branches? – mathoverflow.net

It is a classical result of computability theory that there is a computable infinite binary tree $T\subset 2^{<\omega}$ with no computable infinite branch. One way to construct such a tree is to ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

0 Comment to "For a computable binary tree, is having no computable branches the same as having no probabilistic algorithm for producing branches? – mathoverflow.net"