49
Nebula – туманность
50
А. А. Харкевич, О ценности информации, «Проблемы кибернетики», 1960, №4.
51
М. Таубе, Вычислительные машины и здравый смысл. Миф о думающих машинах, изд-во «Прогресс», 1964, стр. 65-75.
52
Критическая оценка взглядов М. Таубе дана в предисловии А. И. Берга к русскому изданию книги Таубе. В приложении к работе Таубе помещены статьи А. Л. Сэмюэля, У. Росс Эшби и П. Армера, высказывающих взгляды, отличные от пессимистических оценок Таубе.
53
О. К. Тихомиров, Эвристика человека и машины, «Вопросы философии», 1966, №4.
54
См. Ф. Розенблатт. Принципы нейродинамики, Перцептроны и теория механизмов мозга, изд-во «Мир», 1965.
55
См. сб. «Автоматы», ИЛ, 1956.
56
В оригинале – непередаваемый намек. Название «teoria ukladu spolecznego» – «теория общественной системы» намекает на название «teoria ukladu slonecznego» – «теория солнечной системы». Вторая часть фразы тем самым как бы говорит, что «теория общественной системы» должна содержать гораздо больше «параметров», чем ее астрономическая «тезка».
57
Уход в бесконечность
58
На первый взгляд
59
Попавший в пещеру Полифема Одиссей поднес циклопу чашу вина, а на вопрос о своем имени ответил, будто его зовут Никто. Благодарный Полифем пообещал съесть Одиссея последним. Ночью Одиссей и его уцелевшие спутники выжгли захмелевшему циклопу единственное око. На вопросы сбежавшихся на рев Полифема циклопов, пострадавший отвечал, что его губит Никто. Рассерженные циклопы посоветовали Полифему успокоиться, поскольку его никто не обидел. Одиссею удалось спастись.
60
Мы отсылаем читателя к двум книгам: С. К. Клини, Введение в метаматематику (ИЛ, 1957) и А. Френкель и И. Бар-Хиллел. Основания теории множеств (изд-во «Мир», 1966). В первой из них он найдет формулировку и доказательство теоремы Геделя, о которой идет речь, во второй – сравнительно простое рассмотрение связанных с ней проблем.
61
О различии между упомянутыми здесь направлениями в «философии математики» – интуиционизмом, формализмом и конструктивизмом – достаточно полное представление дают упомянутая в предшествующем примечании книга А. Френкеля и И. Бар-Хиллела и монография А. Рейтинга «Интуиционизм» (изд-во «Мир», 1965).
62
М. Таубе, Вычислительные машины и здравый смысл. Миф о думающих машинах, изд-во «Прогресс», 1964, стр. 111-112.