Изменения

Перейти к: навигация, поиск

1я и 2я теоремы Геделя о неполноте арифметики

30 байт добавлено, 17:03, 2 января 2017

Нет описания правки

Тогда напишем такую программу:

<code>

<tex>p(x){:}</tex>

'''foreach''' q <tex> \in ~ \Sigma^* </tex>

'''if''' q proves "<tex>p(x) </tex> зависает" '''exit '''

</code>

}}

313

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/58522»