Редактирование: 1я и 2я теоремы Геделя о неполноте арифметики
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 105: | Строка 105: | ||
<code> | <code> | ||
<tex>p(x){:}</tex> | <tex>p(x){:}</tex> | ||
− | '''foreach''' <tex>q</tex> <tex> \in ~ \Sigma^* </tex | + | '''foreach''' <tex>q</tex> <tex> \in ~ \Sigma^* </tex> |
− | '''if''' <tex>q</tex> proves "<tex>p(x)</tex> зависает" | + | '''if''' <tex>q</tex> proves "<tex>p(x)</tex> зависает" |
'''exit''' | '''exit''' | ||
</code> | </code> |