Читать «Teopeмa Гёделя» онлайн - страница 49

5

Начиная отсюда, мы будем, как обычно, опускать кавычки при записях формул, напечатанных в отдельную строку. Нам, ведь, нужны не сами по себе кавычки, а уверенность в том, что не возникнет недоразумений (ср. с названием книги Рассела и Уайтхеда, всюду в настоящей книжке выделяемым не кавычками, а курсивом). — Прим. перев.

6

«Переводы» эти, разумеется, к самому исчислению не относятся. — Прим. перев.

7

Причем сказанное верно безотносительно к тому, входит ли в формулы S₁ и S₂ хоть одна общая переменная. — Прим. перев.

8

Конечно, еще более простой пример — формула, состоящая из одной-единственной переменной p. — Прим. перев.

9

Такое расширение можно произвести, просто присоединив эти недоказуемые предложения к арифметике в качестве новых аксиом. Поскольку мы считаем их истинными, то отрицания их не должны и не могут быть доказуемы в арифметике; значит, такое расширение непротиворечивой системы не может сделать ее противоречивой. — Прим. перев.

10

Конечно, у авторов речь шла об английском, а у самого Ришара — о французском языке. — Прим. перев.

11

Пропуск между словами можно при этом считать особой «буквой» (например, последней в алфавите) или просто писать слова подряд, без пропусков. — Прим. перев.

12

Можно было бы сказать «перевода», «моделирования», «кодирования», «представления»; в переводе мы далее будем сознательно варьировать употребление этих терминов, чтобы подчеркнуть принципиальное родство понятий, выражаемых этими терминами, между собой и с используемым далее понятием «нумерации». — Прим. перев.

13

Имеется много различных способов приписывания гёделевских номеров, и какой из них выбрать — совершенно несущественно.

14

После чего уже совсем нетрудно проверить, является ли данное выражение формулой или доказательством нашего исчисления (ср. предыдущее примечание). — Прим. перев.

15

От англ. demonstration (доказательство). — Прим. перев.

16

Цифра — это числовой знак, или имя числа (ср. выше примечание авторов на с. 35–36). — Прим. перев.

17

«Подстановка» — по-английски «substitution». — Прим. перев.

18

Напоминаем, что «цифрой» мы здесь всюду называем всю запись числа, а не отдельный знак такой записи, как обычно; скажем, «10» есть цифра, обозначающая число 10, хотя обычно и говорят, что это число записывается посредством двух цифр «1» и «0». — Прим. перев.

19

Это свойство называют чаще непополнимостью. — Прим. перев.

20

При всем правдоподобии последней фразы она никак не следует из предыдущего. Вообще, далеко не ясно, как распространенный тезис об ограниченности возможностей моделирования человеческого мышления можно согласовать с материалистической гипотезой о его природе. Ср., впрочем, заключительные два абзаца авторского текста. — Прим. перев.

21