Since the busy beaver function cannot be computed by Turing machines, the Church–Turing thesis states that this function cannot be effectively computed by any method.
Пошто заузет дабар не може да се израчуна Тјуринговим машинама, Черч-Тјурингова теза каже да ова функција не могу бити ефикасно израчунљива било којом методом.