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