In this work, we present infinite binary trees and infinite paths in them. We define the Cantor space as a product of countably many copies of the discrete space 2 = {0, 1}. We briefly introduce Turing machines and computability, where each calculation is done with a mechanical device (in our case, with the help of Turing machines). We notice that the weak König's lemma on binary trees is a very powerful tool in ordinary mathematics as well as in computability theory. We construct an infinite computable tree that does not have an infinite computable path, that is Kleene tree. Using Kleene tree, we also prove that the computable Cantor space and the computable interval are not compact in a computable way.
|
