Книга о странном
Шрифт:
Помимо же этого, в 1736 году Байесом анонимно была опубликована статья «Введение в теорию флюксий или В защиту математиков от нападок автора The Analyst (Комментатора)». Здесь Байес защищал ньютоновскую теорию дифференциального исчисления от атаки Джорджа Беркли (несколько позже получившего сан епископа в Клойне), пытавшегося с метафизических позиций раскритиковать «неправильные», на его взгляд, логические основания мощнейшей математической теории.
Что же касается фундаментального исследования Байеса в области теории вероятностей, то оно было изложено им в «Эссе о решении проблем в теории случайных событий». Эту работу математика лишь после его смерти обнаружил друг Ричард Прайс, который и переслал статью в академию. В 1764
Теорема Байеса, имеющая ныне сильнейшее влияние на разработки компаний, создающих программное обеспечение, имеет дело с расчетом вероятности верности гипотезы в условиях, когда на основе наблюдений известна лишь некоторая частичная информация о событиях. Другими словами, по формуле Байеса можно более точно пересчитывать вероятность, беря в учет как ранее известную информацию, так и данные новых наблюдений. Главная, видимо, особенность теоремы Байеса в том, что для ее практического применения обычно требуется огромное количество вычислений-пересчетов, а потому расцвет методов байесовых оценок пришелся аккурат на революцию в компьютерных и сетевых инфотехнологиях. Конечно, эффективные методы статистических оценок интенсивно применяли и ранее, особенно военные в каких-нибудь экспертных или криптоаналитических системах, но понастоящему широкая популярность и даже «мода на Байеса» пришли в 1990-е годы.
Пионером здесь стала британская интернет-компания Autonomy, для интеллектуального поиска информации созданная математиком (и ныне миллиардером) Майком Линчем. Программное обеспечение Autonomy, построенное на базе байесовых оценок, позволяет компьютерам «понимать» содержание неструктурированной информации, такой как текстовые участки веб-страниц или электронная почта.
Например, с помощью байесовского аппарата по контексту достаточно элементарно подбирается нужная информация о реке Амазонке, а не о мифических племенах воинственных женщин или об онлайновом супермагазине с тем же названием Amazon.
Просто по той причине, что контекст документа будет включать упоминания о джунглях, деревьях и Южной Америке.
Лежащая в основе Autonomy технология DRE (Dynamic Reasoning Engine) по сути дела сводит воедино вероятностные методы Томаса Байеса и труды Клода Шеннона по теории информации. Формулы Байеса связаны с вычислением вероятностных связей между многими переменными и определением их взаимовлияния. Используя эту технику и компьютерные мощности, удается выявлять связи между различными элементами информации. Поняв основной смысл текста (или другого информационного носителя), система Autonomy приступает к следующему шагу и использует теорию Шеннона, согласно которой чем менее часто встречается информация, тем она более информативна.
Майк Линч с редкостным апломбом любит заявлять, что «лишь 10 человек в мире знают, как все это [байесовы оценки] применять, причем треть таких людей работает на меня». Вряд ли стоит воспринимать слова математика-предпринимателя всерьез, скорее это так – работа на публику и раздувание щек, что называется, бизнеса ради. Байесовский математический аппарат разработан сейчас весьма мощно, и технологии на его основе применяются во множестве других компаний.
Например, корпорация Oracle использует теорию Байеса в своем новом ПО для баз данных, где с ее помощью выявляются характерные тенденции в сложных массивах данных, а также вносится столь популярная ныне «персонализация» в маркетинговые кампании. В корпорации Microsoft этот же статистический аппарат заложен в программы выявления неполадок в новой ОС WinXP, а еще ранее – был использован при создании для пакета MS Office столь доставшего всех своими ненужными советами «мистера Скрепки» (Mr Clippy). Этого надоедливого мультяшного субъекта, как известно, впоследствии задвинули подальше, дабы не раздражать без нужды клиентов. Впрочем, научному авторитету Томаса Байеса суетливый «Скрепыш» вряд ли нанес хоть какой-то урон.
И уж коли речь зашла о дискредитации ученого, то, быть может, наихудшую услугу ему оказывают разухабистые пиаровские тексты компании Autonomy, вещающие об «эксцентричном англичанине Томасе Байесе, который с одинаковым успехом занимался как доказательством существования бога, так и разработкой наиболее эффективных алгоритмов для игры в кости». По свидетельству историков, подобные заявления, мягко говоря, не соответствуют известным фактам из жизни этого человека.
Что же известно, так это на редкость мудрый подход Байеса к эффективности точных наук и к возможности их гармоничного сочетания с глубоким религиозным чувством.
5.4. «Мне просто было интересно, как это устроено…»
24 февраля 2001 г. покинул наш мир Клод Шеннон, один из выдающихся умов XX столетия, «отец» теории информации и научной криптографии. Фундаментальные идеи и теории Шеннона появились на свет более полувека назад, однако и поныне они остаются не менее современными и важными, чем в годы своего зарождения. Более того, можно говорить, что лишь нынешняя эпоха высокоскоростных цифровых коммуникаций позволяет в полной мере оценить гигантский вклад этого ученого, вследствие ряда личных качеств названного одним из соратников «самым неизвестным среди великих математиков».
Клод Элвуд Шеннон родился в городке Питоски, штат Мичиган, 30 апреля 1916 года.
Благодаря влияниям отца-радиолюбителя и старшей сестры, всю жизнь посвятившей математике, весьма рано проявилось и дарование Клода, крайне удачно сочетавшее в себе технический талант инженера-электронщика и выдающиеся теоретические способности к глубокому математическому анализу проблем. В 1936 году Шеннон закончил Мичиганский университет с бакалаврскими степенями в математике и электронной технике. Еще через 4 года он закрепил свое «обоюдоострое» образование в стенах Массачусетсского технологического института, в 1940-м защитив здесь магистерскую диссертацию по электротехнике и докторскую по математике.
Уже магистерская диссертация Шеннона «Символический анализ релейных и переключающих схем» стала без преувеличения новым словом в науке. В эпоху аналоговых радиоэлектронных устройств и счетно-решающих машин на шестеренках и валиках Шеннон по сути дела разработал теоретическое обоснование электронным цифровым схемам. Ныне такие схемы лежат в основе функционирования практически всех современных компьютерных и коммуникационных систем. Суть новаторского подхода, предложенного в диссертации, заключалась в том, чтобы работу переключателей и реле в электрических схемах анализировать на базе аппарата булевой алгебры – достаточно абстрактной по тем временам технике математической логики, созданной в середине XIX века английским математиком Джорджем Булем.
Впоследствии Шеннон следующим образом пояснял причину своего выдающегося открытия: «Просто случилось так, что никто другой не был знаком с обеими этими областями одновременно»…
Время тогда было известно какое, и в 1941 году Шеннон начал работу в математическом отделении научно-исследовательского центра Bell Laboratories, сосредоточенного по-преимуществу на проблемах военных коммуникационных систем и криптографии. Напряженная работа в этой области за годы войны дала богатейшие плоды в мирное время. В 1948 году Шеннон публикует свой эпохальный труд «Математическая теория связи», оригинал которого можно найти на веб-сайте Bell Labs37. Цель перед работой ставилась сугубо практическая – как можно было бы улучшить передачу информации по телеграфному или телефонному каналу, находящемуся под воздействием электрических шумов. При решении же этой задачи у Шеннона родилась поистине революционная работа, положившая начало целой науке под названием «теория информации».