It should be no surprise that we can achieve this encoding given the existence of a Gödel number and computational equivalence between Turing machines and μ-recursive functions.
То не би требало да буде никакво изненађење да можемо постићи то кодирање с обзиром на постојање Гуделовог броја и рачунарске еквиваленције између Тјурингове машине и μ-рекурзивне функције.