Any such tree has a path computable from 0 ′ {\displaystyle 0'} , the canonical Turing complete set that can decide the halting problem.
Jeder solche Baum hat einen berechenbaren Pfad von 0 ′ {\displaystyle 0'} , der kanonischen und Turing-vollständigen Menge, die das Halteproblem entscheiden kann.