Статья 385

К сожалению, утверждение снова не годится на роль, несмотря на свой формальный вид, поскольку обычные компьютеры не умеют пользоваться языком, содержащим кванторы.
Попробуем сформулировать утверждение о существовании в терминах компьютерных операций. Компьютер способен установить, верно или нет равенство, если вместо стоят конкретные числа. Вспомним, что нам даны. Как проверить, существует ли искомое. Ясно, что если существует, то оно обязательно встретится в ряду чисел. Возникает идея организовать цикл проверок на равенство, начиная так далее, увеличивая с каждым новым циклом проверяемое число на 1. Описанная идея на языке Бейсик воплощается в следующий фрагмент программы номера строк, как и раньше, условны.
В ходе выполнения фрагмента сначала переменной, будет присвоено значение -1.