Книга: Как же называется эта книга?
Назад: 7
На главную: Предисловие

8

См. Гарднер М. Математические новеллы. – М.: Мир, 1974. С. 170.

9

Мне сообщил его философ Ричард Картрайт.

10

Напомним условие Н. Для любого числа n существует высказывание, утверждающее, что n – экстраординарное число. Это высказывание (как и всякое другое предложение) имеет гёделев номер. Обозначим его n*. Оказывается, что для любого определимого множества А множество В всех чисел n, для которых n* принадлежит А, также определимо. Поскольку гёделев номер n* сопряжен с числом n, то тем самым условие Н выполнено.
Назад: 7
На главную: Предисловие