Изменения

===Альтернативное доказательство с использованием теоремы о рекурсии===

По [[Теорема о рекурсии | теореме о рекурсии]], программа может знать свой исходный код. Значит, в неё можно написать функцию <tex> \mathrm{getSrc()} </tex>, которая вернёт строку {{---}} исходный код программы.

<tex> A </tex> {{---}} разрешимое семейство языков.