Светлый фон

83 огромному соблазну перевести дискуссию… на целеориентированный уровень кибернетики… См. [Dupuy 2000], [Monod], [Cordeschi], [Simon], [Andersen] и Главу 11 в [Hofstadter and Dennett], в которой обсуждается трио взаимосвязанных «измов»: холизм, голизм (англ. goalism) и соулизм (англ. soulism).

огромному соблазну перевести дискуссию… на целеориентированный уровень кибернетики… goalism soulism

84 истории о султане, который приказал… Я нашел ее в очаровательной старой книге [Gamow].

истории о султане, который приказал…

85 несет в себе семена саморазрушения… Сравните этот сценарий саморазрушения с историей, подробно рассказанной в диалоге «Акростиконтрапунктус» в [Hofstadter 1979].

несет в себе семена саморазрушения…

88 я…замер у брошюры в мягком переплете… Конечно же, это были [Nagel and Newman].

я…замер у брошюры в мягком переплете…

88 я совершенно точно не раздумывал, «он или она»… См. Главы 7 и 8 в [Hofstadter 1985].

я совершенно точно не раздумывал, «он или она»…

91 Так что я наудачу изобрел более троичную фразу… Хоть я этого тогда и не знал, я смутно чувствовал бесконечную иерархичность арифметических операций и то, что я позже узнал как «функцию Аккермана». См. [Boolos and Jeffrey] и [Hennie].

Так что я наудачу изобрел более троичную фразу…

93 патологическое отступление от здравого смысла… Не могу не заметить, что «Принципы математики» начинаются с великолепного самореферентного росчерка. Первая же фраза без малейшего смущения заявляет: «Математическое изложение принципов математики, которое является темой данного труда, возникло из соединения двух различных учений, оба из которых по большей части очень современны». То есть «Принципы математики» указывают сами на себя гордой фразой «данный труд» – а это точно такой же самоуказатель, какие в более формальном контексте авторы всеми силами стремились категорически запретить. Что, возможно, еще более странно, глава, в которой представлена теория, исключающая самореференцию, тоже начинается самореферентно: «Теория логических типов, которая будет нами изложена в данной главе, зарекомендовала себя в первую очередь своей способностью решить определенные противоречия…» Замечу, наконец, что местоимение «нами» – еще один самоуказатель, который Рассел и Уайтхед использовали без зазрения совести. Они не замечали этой иронии?

патологическое отступление от здравого смысла…

94 This pangram tallies… Эта идеальная самопересчитывающая или самоинвентаризирующая «панграмма» была построена Ли Саллоусом с использованием тщательно разработанного им же самим аналогового компьютера.