36. Я использую обычно слово VAST (огромный), аббревиатуру из английского выражения Very much more than ASTronomically (намного больше, чем в астрономической степени) для обозначения конечных, но почти невообразимо больших чисел, например количества микросекунд, прошедших с момента Большого взрыва, или электронов в видимой Вселенной (Dennett, 1995, стр. 109). Вавилонская библиотека конечна, но огромна. Исчезающе малый – противоположность (как бесконечно малое по отношению к бесконечному).
37. Я обнаружил, что некоторые люди сопротивляются плавающему обоснованию того, почему именно самки оценивают, а самцы – напыщенно и затратно себя рекламируют: асимметричные инвестиции в родительство. У тех видов, у которых самки тратят больше времени и сил на выращивание потомства, чем самцы (производство яиц против производства спермы, выкармливание молоком, вынашивание, воспитание и так далее), самки должны относиться к выбору тщательнее, чем самцы. Самка может снести ограниченное количество яиц или выносить определенное количество детенышей, и если она выберет не слишком хорошего самца, она исчерпает значительную часть своих ресурсов, в то время как самец, выбрав самку не из первых рядов, потратит лишь немного своего драгоценного времени и ему придется восполнить запасы спермы. У видов, у которых родительские обязанности важны для обоих полов, самцы и самки стараются хорошо выглядеть и эффективно действовать в одинаковой степени.
38. Генеалогия артефактов, конечно, не похожа на генеалогию живых существ, однако сходство между созданиями обоих типов поразительно. Оно станет темой следующей главы.
39. Разница между компилирующими и интерпретирующими языками программирования раньше была большой, но для наших задач она не имеет значения, и большинство современных языков программирования уже давно представляют собой гибрид. Программы-компиляторы получают весь исходный программный код как входные данные и на выходе выдают готовый машинный код. Интерпретирующий язык компилирует каждую инструкцию по мере ее составления (иногда это называется построчной компиляцией), позволяя программисту проверять выполнение каждого задания по мере его написания, что делает разработку простой и удобной (иногда) и малозатратной (иногда) при максимальной эффективности программы. Lisp изначально был интерпретирующим языком.
40. Особенно забавно выглядит в этой ситуации тот факт, что компьютеры, играющие в шахматы, не могут отказаться от безнадежных партий! Их «операторы» предусмотрели возможность вмешательства в случае безнадежной ситуации – ведь программа не ведает стыда.
41. Существует и антибайесовская статистика, и ее последователей смущает «субъективность» отправной точки: обладая вашим сегодняшним опытом, что вы можете сказать по этому поводу? Где вы берете ваши познания, и что, если я не согласен? Ясный и доступный обзор этих и других возражений дан в работе Джелмана (Gelman, 2008). Эти возражения неприменимы для случая байесовского типа мышления, которое разработано специально для трудной ситуации, в которую попадает существо, несущее на себе благословение (или проклятие) в виде набора истин, и вопрошающее, что же делать дальше. Субъективность – неотъемлемое свойство возникающих в процессе созидания проблем.
42. Конечно, есть и скептики. Домингос (Domingos, 2015) подчеркивает, что внедрение байесовских вероятностей сильно зависит от алгоритма MCMC (методы Монте-Карло с марковскими цепями[236]), алгоритма грубой силы, который управляет тяжелой работой, но «не имитирует никакого реального процесса» (стр. 164). «Байесовцы должны благодарить за растущую популярность их методов, прежде всего, MCMC» (стр. 165). Возможно, однако с тех пор как начались попытки имитировать массивную параллельную структуру, использование MCMC стало почти вынужденным шагом.
43. Существует несколько различных вариантов использования устаревшего кода; иногда он вставляется в программу, но выполняет лишь ограниченные функции (например, позволяет программе работать на устаревшей платформе).
44. Одним из множества достоинств подробнейшей модели, предложенной Элиасмитом[237] в его новаторской работе «Как построить мозг» (Chris Eliasmith «How to Build a Brain», 2013) стала «архитектура семантического указателя», учитывающая разнообразие пониманий (способов восприятия и контроля) животного мира и предполагающая возможности использования пластичности мозга захватчиками, словами и другими мемами. Это вовсе не лингвоцентричная модель интеллекта с самого начала. Описание деталей того, каким образом это могло бы работать, могли бы заполнить еще одну книгу.
45. Форма Древа Жизни, которое кажется на первый взгляд перевернутым с ног на голову, с предками, занимающими на ветках более высокие места, чем их потомки, вовсе не является странной, однако, если это вас беспокоит, вы можете перевернуть диаграмму на бок. Я никогда не видел горизонтальной кладограммы, в которой время шло бы справа налево, но, возможно, они используются в текстах на арабском или иврите.
46. Чтобы подчеркнуть порой весьма важное техническое различие, мы разберем предложение типа «на дворе трава, на траве дрова», в котором мы видим две единицы типа «на» и четыре единицы типа «в». Единицы, как и типы, представляют собой абстракции, не конкретные сущности. Аналогичное различие можно обнаружить (что часто игнорируется и приводит к путанице) в ситуации с генами. При первом приближении у каждого из типов ваших генов в каждой из ваших клеток есть по крайней мере, один маркер, а также множество цепочек одной и той же последовательности кодонов в вашем геноме. К примеру, дупликация генов, которая играет решающую роль во многих инновационных эволюционных процессах, представляет собой амплификацию, то есть многократное повторение простого копирования генного маркера в виде миллиардов дубликатов маркеров в клетках потомства. Для большей ясности см. Dawkins (2004).
47. Вообразить себе это явление поможет сравнение с программой Shazam, распознающая в смартфонах музыку, которую проигрывают по радио. Сигнал, передаваемый микрофоном, совершенно не обязательно должен быть «превращен обратно в звук», чтобы быть идентифицированным программой.
48. Нам уже известно, что в мозгу есть области, в которых хранятся разные типы слов для обозначения еды, музыкальных инструментов, орудий (когда область поражает инсульт или травма, возможна селективная потеря ряда обозначений), поэтому ваши токены «скрипка» могут располагаться там же, где мои; однако было бы слишком оптимистичным ожидать, что обнаружение «скрипки», «трубы» или «банджо» в моей голове сможет помочь исследователям найти другие термины в вашей.
49. Проблемные коннотации повседневного термина «слово» побудили Джекендоффа предложить технически более точный термин «лексическая единица» и дать ему определение. К примеру, не все лексические единицы можно произнести.
50. Гоминиды – это группа приматов, в которую входят шимпанзе и другие обезьяны; более узкая ветвь гомининов сформировалась примерно шесть миллионов лет назад, и в нее вошли люди и их ближайшие предки.
51. Симбионты разделяются на три вида: паразиты вредны для приспособляемости хозяина; комменсалы нейтральны (но питаются с барского стола), а мутуалисты приносят хозяину пользу, повышая его генетическую приспособляемость.
52. Я имею в виду семантическую информацию в широком смысле слова, как она описана в главе 6. Я пишу о (семантической) информации о синтаксисе, фонологии (если младенец слышит), прагматике, контекстах и значениях (семантических) усваиваемых понятий.
53. Дикон (Deacon, 1997) дает отличное описание. Я советую также ознакомиться с другими работами Дикона (Deacon, 2003), Деннета (Dennett, 2003b) в издании Depew and Weber, ed., Evolution and Learning: The Baldwin Effect Reconsidered. В более свежей работе Behavioral and Brain Sciences Target Article ее авторы Кристиансен и Чатер (Christiansen and Chater, 2008) активно защищают усиленную версию тезиса, рассматривая в том числе альтернативы и формулируя впечатляющий выбор возможных ответов на спорные вопросы.
54. Именно так особенно ярко проявляется «нисходящий» принцип разумного созидания из проекта GOFAI (дословно: «старый добрый искусственный интеллект» – отрасль искусственного интеллекта, обычно ориентированная на работу с символами. – Перев.): если вы полагаете, что знания некоего действующего агента представляют собой набор аксиом и теорем типа Евклидовой геометрии, вам, конечно, потребуется «определиться с терминологией». Тот факт, что проект CYC (проект по созданию базы знаний для ИИ) собрал тысячи определений, закодированных в виде базы данных, свидетельствует о том, что многие ученые до сих пор полагают, что ИИ нисходящего типа можно создать.
55. Примечание: та самая удачная находка может быть «очевидна» для естественного отбора, однако совершенно непонятна исследователям. Никогда не забывайте Второе правило Орджела[238]: эволюция умнее нас.
56. См. работу Cloud (2015), в которой эти выводы получили развитие. Эта работа стала важным дружеским подспорьем к моим ранним кратким заметкам о приручении слов, это никак не опровержение; однако между нами по-прежнему есть некоторые разногласия, которые будут улажены позднее.
57. Возможно, это слишком сильно сказано: на свете могут существовать языки, в которых нет слов для обозначения самих слов, и носители этих языков не обращают внимание на то, что язык может быть разделен на отдельные части! Во многом это похоже на ситуацию в школе, когда детей учат «проверочным» словам для усвоения орфографии: им нужно понять, что то, что столь естественно произносится, состоит из многократно используемых частей. Эта народная лингвистика не столь же очевидна для всех, как для нас, занудных буквоедов.
58. Эти оценки часто становятся результатом свободно плавающей рациональности, а не того, в чем потребитель сознательно уверен. Доверчивый ребенок может стать жертвой обманщика только потому, что еще не успел научиться отличать ложь от правды.