Сумма технологии

90

По определению (лат.)

91

J. Shields, Monozygotic Twins, Oxford Univers. Press, 1962.

92

Гибернация (англ. hibernation) – зимняя спячка (от лат. hibernus – зимний), искусственное понижение температуры тела ниже физиологических границ, в результате чего замедляются или приостанавливаются физиологические процессы.

93

Трудности изобилия (франц.)

94

См. С. Амарел, Подход к автоматическому формированию теории, сб. «Принципы самоорганизации», изд-во «Мир», 1966.

95

И. И. Шмальгаузен, Основы эволюционного процесса в свете кибернетики, «Проблемы кибернетики», 1960, №4.

96

У. Росс Эшби, Конструкция мозга, ИЛ, 1962. 23-618.

97

J. Bronowski, The Common Sense of Science, Penguin Books, 1960.

98

Вектоны – гипотетические сверхтяжелые «векторные» элементарные частицы; введены в 1960 г. японским физиком Сакураи. Кварки – гипотетические сверхтяжелые «спинорные» частицы; введены в 1962 г. американским физиком Гел Мэном.

99

Речь идет о так называемом тезисе Черча. Автор неправильно трактует это своеобразное математическое утверждение. Ситуация здесь следующая.

Имеется интуитивное «неточное» понятие эффективной вычислимости, или вообще эффективного процесса. Эффективный процесс – это такой процесс, который позволяет «эффективно», в конечное число шагов получить ответ на некоторый вопрос. Например, эффективным процессом является процесс вычисления десятичных знаков корня из 2 или процесс вычисления детерминанта 25 порядка с целочисленными элементами.

С другой стороны, имеется выделившееся в результате длительных математических исследований формальное, «строгое» понятие общерекурсивной функции (понятие алгоритма также является формальным математическим понятием).

Тезис Черча гласит, что эффективно вычислимые функции и общерекурсивные функции – это одно и то же. Таким образом, тезис Черча устанавливает связь между интуитивными и формальными объектами и поэтому он не может быть доказан, вообще не подлежит доказательству. Читатель может ознакомиться с этим тезисом и его модификациями – тезисом Клини и тезисом Тьюринга по книгам С. К. Клини «Введение в метаматематику» (ИЛ, 1957) и А. И. Мальцева «Алгоритмы и рекурсивные функции» (изд-во «Наука», 1965).

100

Карл Поппер (род. в 1902 г.) – австрийский логик и философ. Он предложил считать критерием эмпиричности (а стало быть, и осмысленности) высказывания его «фальсифицируемость» (возможность опровержения). Иными словами, если исследователь не в состоянии сказать, чем бы эмпирически отличался наш мир от мира, в котором рассматриваемое высказывание было бы ложным, то это высказывание вообще не является осмысленным. Например, если всевозможные (хотя бы мыслимые) факты подтверждают ту или иную теорию, то эта теория является неэмпирической. Этот критерий позволяет, в частности, отсечь от науки все религиозные истины. Так, например, любой мыслимый факт легко увязать с утверждением о триединстве бога, поэтому последнее утверждение лишено смысла. Оценку взглядов К. Поппера, в частности критику его социологической концепции, см. в статье И. Добронравова «Поппер», «Философская энциклопедия», т. 4, 1967.