Станислав Лем

Вид материалаДокументы

Содержание


Карл Поппер
Анри Лебег
Подобный материал:
1   ...   63   64   65   66   67   68   69   70   71
Примечание автора: «Простых систем» в действительности нет. Всякая система сложна. Однако на практике этой сложностью можно пренебречь, коль скоро она не влияет на то, что нас интересует. В обыкновеннейших часах, состоящих из циферблата, пружины, волоска, зубчаток, происходят процессы рекристаллизации, усталости материала, коррозии, протекания электрических зарядов, расширения или сокращения отдельных частей и т.д. Эти процессы практически не оказывают влияния на функционирование часов как простого механизма, предназначенного для измерения. Точно так же мы пренебрегаем тысячами параметров, которые можно выделить в каждой машине и в каждом предмете; пренебрегаем, конечно, до поры до времени, ибо эти параметры, хотя и не учитываемые нами, но существующие реально, изменяются со временем настолько, что машина не может более функционировать. Наука основана на выявлении существенных переменных и одновременном отбрасывании несущественных. Сложной является машина, в которой очень многими параметрами пренебречь нельзя, ибо они существенным образом участвуют в ее функционировании. Такой машиной является, например, мозг. Это вовсе не означает, будто подобная машина, если она является, как мозг, регулятором, должна учитывать все параметры. Параметров можно выделить практически бесконечно много. Если бы мозг должен был учитывать их все, он не мог бы выполнять свои функции. Мозг «не обязан» учитывать параметры отдельных атомов, протонов или электронов, из которых он построен. Как и в случае любого регулятора или, шире, машины, так и в случае мозга сложность является не достоинством, а скорее неизбежным злом. Это ответ созидательницы организмов, эволюции, продиктованный сложностью среды, в которой они обитают, – ведь только очень большая разносторонность регулятора способна сравниться с очень большой сложностью окружения. Кибернетика как раз и есть наука о том, как регулировать состояние и динамику реальных систем, несмотря на их сложность.


69 И. С. Шапиро, О квантовании пространства и времени в теории «элементарных» частиц, «Вопросы философии», 1962, №5.


70 Вести корабль необходимо (лат.)


71 Б. Рассел, Новейшие работы о началах математики. Сб. 1, « Новые идеи в математике», Сп., 1913 (эта работа Б. Рассела напечатана впервые в «International Monthly» в 1901 г.).


72 Господь искушен, но не злобен (нем.)


73 Д. Бом, Квантовая теория, Судпромгиз, 1961.


74 В. В. Парин, Р. М. Баевский, Кибернетика в медицине и физиологии, Медгиз, 1963.


75 Проприоцепторы – нервные окончания в мышцах, сухожилиях и суставах. Проприоцепторы – это «датчики» информации о натяжении мышц и сухожилий, о положении и движении частей тела.

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


76 На первый взгляд (лат.)


77 Музыкальный спектакль (обычно сентиментального, мелодраматического характера), передаваемый по радио, как правило, в дневное время для домохозяек. Название «soap opera» – «мыльная опера» – объясняется тем, что такие передачи часто прерывались рекламами, скажем рекламами мыла и стиральных порошков.


78 Катарсис – очищение (греч.) . Термин, введенный впервые Аристотелем. Восприятие произведений искусства «очищает душу» от эмоций гнева, сострадания, страха.


79 Г. Мэгун, Бодрствующий мозг, изд-во «Мир», 1965.


80 Альгедонический – слово-гибрид, происходящее от греческих слов алгос – боль и эдонэ – наслаждение.


81 Фрустрацияангл. frustration – неологизм, который проник во многие языки. Его смысл можно передать фразой «крах всех надежд и потеря веры в будущее».


82 Один из героев романа Г. Сенкевича «Огнем и мечом».


83 В разуме нет ничего, что отсутствовало бы ранее в чувственном восприятии (лат.)


84 «Орбис» – польское туристическое агентство. «Кук» – английская туристическая фирма.


85 Не очень ясно, почему следующие далее проблемы автор называет «онтологическими». Он, видимо, связывает термин «онтология» с бытием личности.


86 Явилось ли результатом данной операции полное «уничтожение» личности в момент времени T1 и замена ее новой личностью к моменту времени T2, эмпирически проверить невозможно. Ведь при помощи цереброматики осуществляется непрерывное «изменение курса», и поскольку раскрыть убийство первоначальной личности нельзя, следует вообще запретить операции подобного рода. Небольшие «коррекции», по всей вероятности, не ведут к гибели личности. Однако, так же как в парадоксе с лысым, в данном случае неизвестно, когда безвредные поправки превращаются в преступление. – Прим. авт.


87 Персонокластический – связанный с «расчленением» личности (от греческого слова хластоз – поломанный).


88 Можно «перетащить» весь объем опыта и воспоминаний прежней личности в новую, то есть искусственно сформированную. На первый взгляд это обеспечивает непрерывность существования, но прежние воспоминания в новой личности «не приживаются». Однако я отдаю себе отчет в том, что категоричность моего мнения по этому вопросу спорна. – Прим. авт.


89 Другому «я» (лат.)


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


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


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


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


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


]IX

Примечание автора: Как это ни странно, но существует много противоречивых мнений о том, что же такое научная теория. При этом даже в пределах одного и того же мировоззренческого круга. Взгляды самих создателей науки заслуживают здесь доверия отнюдь не больше, чем суждения великого артиста о его творческом методе. Чисто психологические причины могут послужить источником позднейшего рационального описания умозрительного пути, того пути, который сам автор не в состоянии воспроизвести в деталях. Так, например, Эйнштейн был абсолютно убежден в объективном и не зависящем от человека существовании внешнего мира, равно как и в том, что человек может познать план его строения. И все же это можно понимать по-разному. Разумеется, каждая научная теория является шагом вперед по сравнению с предыдущей (теория гравитации Эйнштейна по сравнению с теорией Ньютона). Однако на этой основе нельзя с логической неизбежностью заключить, что существует, точнее, что может существовать «окончательная теория», которая завершит путь познания. Постулат унификации явлений в рамках единой теории (например, в единой теории поля) на первый взгляд подтверждается эволюцией классической физики, которая шла от теорий, охватывающих отдельные области явлений, ко все более целостной картине. Однако в будущем это совсем не обязательно должно быть так; даже создание единой теории поля, охватывающей как квантовые, так и гравитационные явления, не было бы доказательством этой истины (не доказывало бы, что в Природе соблюдается принцип единства), ибо нельзя познать все явления, а следовательно, нельзя узнать, охватывает ли новая (еще не существующая сегодня) теория также и эти неизвестные явления. Конечно, ученый не может работать с мыслью, что он создает всего лишь промежуточное, преходящее звено познания, даже если он и придерживается именно таких философских взглядов. Всякая теория «верна лишь некоторое время» – об этом говорит вся история науки. Потом она уступает место следующей теории. Вполне возможно, что существует некий предел теоретических конструкций, которого человеческий разум не в состоянии преодолеть сам, но который он сможет преодолеть с помощью, например, «усилителя интеллекта». Тогда откроется дальнейший путь для прогресса, однако опять-таки неизвестно, не возникнут ли в конце концов и на пути создания таких «усилителей» на каком-то уровне их сложности некие объективные, уже непреодолимые препятствия, как непреодолима, например, скорость света.


]X

Примечание автора: Среди систем, изучаемых технической кибернетикой, выделяется класс, столь сильно похожий своими общими конструктивными принципами на мозг, что подобные системы называются «биологическими». Это системы, которые могли возникнуть на пути естественной эволюции. На этом пути не могла бы возникнуть ни одна из создаваемых нами машин, ибо они не способны ни к самостоятельному существованию, ни к самовоспроизведению. Эволюционным путем может возникнуть только биологическая система, то есть такая, которая на каждом этапе своего существования приспособлена к окружающей среде. Своей конструкцией подобная система отражает не только те насущные цели, для которых она предназначена, но вместе с тем и весь пройденный эволюционный путь. Проволока, резина, шестерни не могут сами собой объединиться в динамо-машину. Многоклеточный организм возникает из одной клетки не только потому, что этого требуют насущные условия жизни, но и потому, что одноклеточные существовали до многоклеточных и обладали способностью объединяться в группы (колонии). В результате биологические организмы в противоположность обычным машинам однородны . Благодаря этому биологический регулятор может действовать, даже не обладая определенной функциональной локализацией.

Вот пример из «Технической кибернетики» Ивахненко. Кибернетической «черепахе» придается вычислительная машина. Она не имеет никаких «рецептов», имеется лишь устройство, которое измеряет качество ее работы. Такая «черепаха», перемещаясь по лаборатории, будет искать место, где температура, освещенность, вибрации и т.п. «возмущения» будут влиять на качество работы машины наименьшим образом. Подобная система не имеет «чувств», не «ощущает» температуру, освещенность и т.д. Она воспринимает такие раздражители «всем существом», и потому мы причисляем ее к биологическому типу. Если изменение температуры неблагоприятно скажется на какой-либо части машины, прибор, измеряющий качество работы, зарегистрировав ухудшение, включит двигатели и черепаха начнет блуждать в поисках «лучшего» места. В другом месте вибрации нарушат работу другой части машины, однако реакция будет такой же: «черепаха» удалится в поисках оптимальных условий. Система не нуждается в программировании, которое учитывало бы все возмущения, какие только возможны: конструктор может, например, не предусмотреть электромагнитные влияния, однако, если функционирование машины ухудшится, «черепаха» примется искать условия, благоприятные для «жизни». Такая система действует методом проб и ошибок, который оказывается ненадежным, если проблема слишком сложна или вредные последствия выступают позднее (например, радиоактивность). Поскольку приспособление не всегда равносильно познанию , биологический регулятор отнюдь не обязан служить «идеальной моделью гностического устройства». Вполне возможно, что идеальный образец такого устройства нужно искать не среди биологических регуляторов, а в одном из других классов сложных систем, которыми занимается кибернетика.


]XI

Примечание автора: Вероятностно-статистический подход к методам передачи информации позволяет с почти математической строгостью рассмотреть проблему двуполости, а также вредные последствия инбридинга, то есть скрещивания близкородственных особей. Именно вероятность того, что некоторое число особей имеет одинаковое генетическое нарушение (рецессивную мутацию), тем больше, чем ближе их родство, а если они происходят от одних и тех же родителей, эта вероятность максимальна. Наибольшей оказывается тогда и возможность появления фенотипических мутантов, коль скоро, разумеется, генетическая информация данных особей была повреждена; скрещивание родственных особей, генотипы которых не повреждены, никаких вредных последствий не может вызвать.

Вообразим, что на нескольких линотипах набираются такие тексты, в которых каждая ошибка набора приводит к существенному искажению смысла. Тогда, сравнивая один и тот же текст, набранный на различных линотипах, мы, очевидно, получим материал, позволяющий полностью восстановить исходную информацию, ибо весьма маловероятно, что на различных машинах опечатки возникнут в одних и тех же местах текста. Если же эта серия состоит из совершенно одинаковых линотипов, которые из-за особых недостатков конструкции всегда делают одинаковые опечатки, то сопоставлять («считывать») полученные на них тексты бесполезно, это не позволит реконструировать информацию, ибо она искажена в одних и тех же местах. Конечно, если линотипы вообще не делают опечаток, проблема отпадает сама собой, но ведь то же самое относится и к передаче биологической информации. По поводу инбридинга см. М. Е. Лобашев, Генетика, изд. 2-е, Изд-во Ленинградского университета, 1967.



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


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


]XII

Примечание автора: «Доказать непротиворечивость некоторой системы – значит доказать, что в ней нет ни одного предложения A, такого, что в этой системе можно дедуктивно вывести как A, так и не A. Доказать полиому некоторой системы – значит доказать, что для всякого предложения этой системы можно дедуктивно вывести либо его самого, либо его отрицание». M. Markowic, Formalizm w logice wspolczesnej, Warszawa, 1962, s. 52.



]XIII

Примечание автора: Какой бы заманчивой и многообещающей ни казалась оптимисту перспектива создания «информационных ферм», достижение это в рамках той или иной цивилизации наверняка не явилось бы окончательной панацеей от всех зол. Прежде всего «выращивание информации» может заострить, а не ликвидировать кризис, связанный с образованием избытка информации. До сих пор человечеству были чужды трудности изобилия (кроме изобилия бедствий и невзгод), поэтому мы не очень-то можем представить себе эффективный метод поведения в ситуации, когда открыт не один путь деятельности, а сотни, а то и тысячи сразу возможных путей. Когда, например, можно (как мы узнаем из «информационного набора», выращенного на «ферме») действовать в направлениях A, B, C, D, E и т.д., и т.п., причем каждое из этих направлений сулит очень многое, но автоматически исключает все остальные направления (можно, скажем, биологически так реконструировать человека, что он станет почти неуничтожимым существом, но тогда нужно будет очень резко сократить рождаемость, ибо если никто или почти никто не умирает, то мир все быстрее и быстрее становится тесным). Критерии, которые ныне часто служат решающими для практической деятельности, могут потерять актуальность (например, критерий экономической рентабельности или экономии энергии отпадет, если источником энергии станет практически неисчерпаемый материальный процесс). К тому же если элементарные потребности удовлетворены во всей полноте, на первый план выступает проблема «что дальше» – создавать ли новые потребности, а если да, то какие. Ясно, что никакое «выращивание информации» не может дать ответа на этот вопрос, ибо «ферма» дает нам лишь альтернативы поведения, выявляет, что можно сделать, но никогда не говорит, нужно ли делать. Решение этого вопроса не может быть механизировано; это стало бы возможным лишь при таком изменении всего уклада общественной психики, которое сделало бы этот уклад чуждым тому, что является человеческим в нашем понимании. Рост «информационной свободы», то есть количества путей возможного поведения, влечет за собой и рост ответственности за принимаемые решения, за акт выбора. Отказ от такого выбора, физически, конечно, осуществимый (электронный мозг – властелин, сам устанавливает, что предпринять с человечеством), представляется неприемлемым по соображениям внефизического характера.

Кроме того, «выращивание информации» все равно не может дать нам «знания обо всем», «всевозможных знаний», «всего знания, какое только возможно». Можно, разумеется, представить себе целую иерархию, сложную структуру звеньев, переносящих и собирающих информацию, в которой одни элементы играют роль «черпаков» («черпают» знания о фактах и их связях из окружающего мира), другие «исследуют» связи между связями, то есть ищут закономерности высшего порядка, третьи же занимаются сортировкой результатов, получаемых вторыми, с тем чтобы на выходе всей этой гигантской пирамиды обратных связей появлялась только информация, которая может оказаться полезной в сколь угодно широком смысле для цивилизации, соорудившей всю эту эволюционную махину. Однако в конечном счете деятельность этой фермы-пирамиды не могла бы слишком уж оторваться от того, что составляет (в широком понимании) саму суть материальной и духовной жизни цивилизации на данном этапе ее развития . В противном случае, «покинув» свою матерь-человечество, такая ферма производила бы информацию не только бесполезную, но и непонятную, непереводимую на язык, которым пользуется цивилизация. Впрочем, этот «отрыв», «прыжок в будущее», «информационный потоп» был бы скорее катастрофой, чем истинным скачком в развитии, еще и потому, что при слишком большом рывке «информационной фермы» сквозь актуальный фронт знаний данной цивилизации исказились бы и утратились критерии отсева несущественной информации. Тем самым «ферма» внезапно превратилась бы уже не в мегабитовую, а в гигабитовую «бомбу» и океанами своей информации затопила бы землю в самом диковинном из всех возможных потопов.

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

«Информационная ферма» – если только ее вообще можно создать – является в самом оптимистическом плане устройством, «подключенным к миру», устройством, которое, исследуя мир специфическим образом, познает, что в нем материально возможно (осуществимо). Следовательно, такая «ферма» может установить, что возможно создание лазера или нейтринного преобразователя энергии, что можно, например, изменить темп времени или гравитационное поле, что процессы, кажущиеся необратимыми (как, например, некоторые биологические), можно так-то или так-то обратить и т.п. Такая ферма будет особенно полезной, если давать ей конкретные, хотя и сформулированные лишь в общем виде, задания. Напротив, предоставленная самой себе, она очень быстро создаст такой избыток информации, в котором увязнут и она и ее создатели. Вся ирония как раз в том, что эта ферма «не мыслит» и с одинаковым усердием создает информацию о необычайно важных для цивилизации связях между явлениями (о том, что путешествовать в глубины Галактики можно так-то и так-то), равно как и о связях абсолютно несущественных (скажем, что облака на Юпитере можно окрашивать в соломенный цвет). До тех пор пока селекторы этой информационной фермы находятся под активным контролем разумных существ, они могут производить эффективный выбор информации. Если же отбросить такой метод рационального отбора, вступить в область «всеинформации», сведений о всевозможных фактах, то информационный потоп становится неизбежным. Следует отдать себе отчет в лавинообразном нарастании всякой информации, в том числе и полезной. Предположим, что «ферма» напала на путь, ведущий к трансплантациям мозга из тела одного существа в тело другого; если она займется данной проблемой, это приведет к открытию целого ряда новых фактов и явлений «технологии пересадки мозга» и т.п.

Что из того, если вся эта проблема в целом вообще не интересует данную цивилизацию? В результате ферма легко может оказаться «заваленной» грудами совершенно ненужной информации. Представьте себе, сколь обширные области технологии, физики, электроники, а также самого разнообразного художественного творчества охватывает сегодня телевидение в мировом масштабе. Если бы «ферма» напала на след некоего прибора, которому предстояло бы сыграть в рамках цивилизации сходную роль, то вопрос о разработке этой новой техники, вопрос о ее осуществлении следовало бы решать уже в самом начале накопления фактов, потому что в противном случае «ферма» стала бы изготавливать миллиарды «возможных изобретений», которыми никто не будет пользоваться.

Стоит упомянуть об одной проблеме, которая сродни производству научной информации; эта проблема уже сейчас является весьма острой, хотя prima fade она кажется тривиальной. Речь идет о создании технологии для информации, которая уже «извлечена» из Природы и зафиксирована в печатных текстах. Эта проблема возникает также в связи с экспоненциальным ростом специальных библиотек, а всевозможные профилактические меры – публикация кратких рефератов, аннотаций, препринтов и т.п. – не могут обеспечить эффективную доставку информации компетентным лицам. Ведь если постановка эксперимента, где-либо уже проведенного, оказывается делом более дешевым и быстрым, чем поиск нужной публикации, если, с другой стороны, ученый может предполагать, что интересующая его информация скрыта не в «недрах Природы», а на полках неведомых библиотек, то под сомнение ставится сам процесс исследования, ведь его результаты, погребенные под штабелями печатных изданий, не могут дойти до тех, кто в этих результатах нуждается более всего. Иногда и сами заинтересованные лица не отдают себе отчета в губительности этого явления, поскольку им все же удается в общем следить за публикациями в области собственной науки. Однако известно, что на открытия наиболее плодотворно влияет скрещивание информации из различных областей науки, и поэтому очень может быть, что уже сейчас в научных книгохранилищах всех континентов находится множество сведений, которые при простом сопоставлении друг с другом компетентным специалистом дали бы начало новым ценным обобщениям. Но именно это и затормаживается ростом специализации, внутренней постоянно растущей дифференциацией наук. Профессия библиотекаря уже не может заменить подлинно первосортной специализированной компетенции, ибо ни один библиотекарь не в силах сказать, какие из результатов взаимно отдаленных наук должны быть в первую очередь направлены к соответствующим исследователям. Ученого библиографа и подавно нельзя заменить автоматизированным каталогом или каким-либо иным из доступных ныне автоматов, поскольку алгоритмические методы все еще обнаруживают свою беспомощность при сортировке «информационной лавины». Ходячим афоризмом стало выражение, что открытие совершается ныне дважды: один раз – когда оно публикуется, и второй раз – когда это уже (и, может быть, давно) опубликованное сообщение открывает для себя популяция специалистов. Если нынешняя технология фиксации, хранения и адресования информации не будет революционизирована в ближайшие полвека, нам угрожает зрелище, похожее на безумный гротеск, – мир, заваленный горами книг, и человечество, поголовно превратившееся в загнанных библиотекарей. Методология как система способов поиска информации должна быть заменена на этом библиотечном «фронте» некой «ариаднологией», путеводной нитью в лабиринтах уже нагроможденной информации. Машина-библиограф, рассылающая нужную информацию заинтересованным лицам, не сможет быть «недумающим» устройством, основанным, например, на частотном анализе (а такие попытки имели место – попытки выявить «ценность» той или иной работы, подсчитав, как часто ссылаются на нее специалисты в библиографиях к собственным публикациям, либо же попытки так называемого механического адресования, посредством отбора работ, в которых определенные термины повторяются с достаточной частотой). Как показали исследования (об этом сообщал, например, Дж. Кемени), даже специалист по родственной дисциплине не в состоянии классифицировать работу по данному разделу науки в строгом соответствии с ее содержанием. Но «думающая» машина-библиограф в силу своей всесторонней ориентировки должна была бы быть лучшим специалистом, чем все вместе взятые отдельные исследователи... Таковы парадоксы, которыми чревата (все ухудшающаяся) ситуация. Создается впечатление, что кризис в распределении информации приведет в будущем к более жестким критериям публикации, с тем чтобы посредством первоначального отсева предотвратить наводнение научного рынка работами, лишенными всякой ценности и публикуемыми для получения ученой степени или из соображений честолюбия. Можно даже думать, что публикация тривиальных работ будет сочтена вредным явлением, нарушением профессиональной этики ученого, поскольку такие работы создают попросту «шум», затрудняющий «прием» ценной информации, жизненно необходимой для дальнейшего развития науки. Выращивание информации, пущенное в ход без эффективного «адресного сита», привело бы, разумеется, к бумажному потопу и этот катастрофический избыток сделал бы невозможной всякую дальнейшую работу. Тем более актуальной задачей становится, следовательно, автоматизация познавательных методов хотя бы на библиографическо-издательском уровне.


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


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


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

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

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

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


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


101 Общие понятия в конкретных вещах (лат.)


102 Анри Лебег (1875-1941) – французский математик, один из создателей современной теории функций вещественной переменной и, в частности, теории меры и интеграла. Анри Пуанкаре (1854-1912) – французский математик, известный своими работами в области топологии, небесной механики, в теории функций и др. Нильс Хенрик Абель (1802-1829) – норвежский математик, занимавшийся исследованиями в области теории функций; с его именем связаны понятия «абелевы интегралы», «абелевы группы» и т.д.


103 Десигнат – объект, обозначаемый данным языковым выражением (десигнатором).


104 Felicitas – счастье (лат.)


105 G. Spencer Brown, Probability and Scientific Inference, Longmans, London, 1958.


106 «New York Times», 1963, V, 20.


]XIV