Затем заговорили о кризисе математики. Очередном. Связанном с тем, что проверить компьютерное доказательство теоремы обычным методом невозможно. Слишком долго и трудоемко. А безусловно надежных средств проверить корректность работы программы не существует. Всегда имеется какая-то вероятность.
Самая обыденная вещь - связка ключей. Брелок с сигнализацией, брелок-фонарик. Даже отвлекшись от цифровой схемы управления сигнализацией, мы все равно имеем дело со светодиодами. Инфракрасными - в сигнализации. Видимого спектра - в фонарике. А эти устройства сильно отличаются от лампы накаливания. Конечно, квантовые эффекты происходят и в нити светильника Лодыгина. Но для создания этого устройства знать их не надо. Как и следует из истории.
А вот светодиоды появились лишь после того, как была создана квантовая электродинамика. Интерпретируемая только математикой. Не имеющая отображения на обычный язык, порожденный здравым смыслом макромира.
То есть обычным языком, языком популярных книг и школьных учебников, объяснить функционирование лампы накаливания еще можно. И оперируя понятиями здравого смысла, этот прибор можно построить.
Светодиод - уже за гранью. Он работает. Он светится. Он производится. Он продается. А вот рассказать, что происходит внутри него, так, как в начале позапрошлого века Майкл Фарадей рассказал о тогдашних осветительных приборах в классической научно-популярной брошюре «Истории свечи», уже нельзя. Для крошечного и широко распространенного устройства есть лишь один язык - язык математики.
И вот тут-то начинается страшное. Человечество столкнулось с гранью, за которой проблему начинает представлять уже не описание Мироздания на языке математики, но сам этот язык.
Человек успешно справлялся с трудностями физического мира. Давно съедены пещерные мишки, истреблены саблезубые тигры. Ему помогла не физическая сила, а разум. Парадоксально, но на надгробии Бенджамена Франклина указано не то, что этот человек изображен на популярной банкноте, но то, что любитель воздушных змеев отнял у Зевеса его атрибут - перун. Все это - победы разума.
И даже с соблазнами для разума, которые порождают маркетологи с политтехнологами, хорошо изучившие психологию масс, человек вполне способен справляться. С помощью того же разума. Подумав лишь не так, как все. («Мысли инако» - в лозунге известной фирмы.)
А вот предел, дальше которого человек (не конкретный индивидуум, но род Homo Sapiens!) не может оперировать математикой, «языком Вселенной», - это предел для разума. Рубеж интенсивного развития; граница проникновения глубже в суть вещей.
Законы, описывающие физический мир, давно уже выразимы лишь формулами. Но язык формул вдруг оказывается неусвояем человеком. Представим себе писателя, которого внезапно поражает алексия, потеря словарного запаса. Впрочем, Жорж Сименон сознательно ограничивал объем слов, употребляемых в цикле о комиссаре Мегрэ. Но это - из сферы маркетинга, нежели литературы.
И перед человеком оказываются два пути. Или ограничить себя животной сутью, запереть себя в глобальном обезьяннике всеобщего реалити-шоу для жратвы и спаривания, перемежаемого ожесточенными, но неумелыми драками. Или вернуться к опыту классической античности - сосуществовавшей с имманентными, вполне материальными божествами. Не имеющими ничего общего с трансцендентностью, потусторонностью иудеохристианства. Да, они превосходят человека силой, физической мощью, мощью логического разума - быстрого и объемного, но отнюдь не всеведущего. А самое главное - они не выше человека в моральном отношении. Распря-Эрида, Краса-Медуза - они с Олимпа. Людям, возможно, придется жить с олимпийцами, порожденными технологией. Или - в бестиарий.
Bestiarum genus - животный мир (лат.).
ТЕМА НОМЕРА:
Их альтернатива
Приступая к подготовке темы этого номера, мы с коллегами ставили задачу рассказать о том, как люди улучшают стандартные высокотехнологичные устройства, вооружившись фантазией, смекалкой и иногда - паяльником. Однако, по мере погружения в вопрос, мы вдруг поняли, что этих самых высокотехнологичных устройств развелось великое множество и что чуть ли не все они стандартны и стали объектом улучшения. Так, Сергей Леонов вспомнил, что в стиральных машинках одной известной фирмы установлена стандартная электронная плата, и, подпаяв несколько проводков с кнопками, можно получить в дешевой модификации функции от флагманской модели. У меня в голове всплыли воспоминания о плейерах BBK с поддержкой DivX, где, опять же, во всех моделях используется одинаковый набор электроники и все различия заключаются в дизайне да версии прошивки. Наконец, Игорь Сирин, автор статьи о «разгоне» двигателя автомобиля, столько наговорил о путях модернизации электронной начинки современных болидов, что впору делать об этом тему номера, а потом выдерживать осаду недовольных гостей из автопрома.
На сей раз мы рванем с места в карьер, начав со способов добавления в двигатель вашего железного любимца целого табуна лошадок - и, заметьте, способов исключительно высокотехнологичных. Во втором материале речь пойдет о движении «наколенников», или Homebrew, а также об их красивых фантазиях, ставших IT-реальностью. Обратите внимание и на врезку Юрия Мильто, посвященную вопросам тотального доведения до ума одного из популярнейших файл-менеджеров, - как выяснилось, этим может заняться любой пользователь, вне зависимости от компьютерного (и «компьютеррного») стажа.
Мы тем временем продолжаем исследования и при первой же возможности расскажем о других секретах знакомых всем вещей, внутри которых живут иногда мощные, а иногда простенькие, но все-таки компьютеры.
ТЕМА НОМЕРА: Cheap tuning?
Мощность двигателя подобна деньгам - ее всегда не хватает. Это на словах все никуда не торопятся, тогда как на деле не найдется водителя, которому не нравится время от времени вдавить педаль газа в пол, чтобы пассажир (и тем более пассажирка!) на переднем сидении оценили недюжинные возможности средства передвижения. И, разумеется, его владельца. Тем не менее не всем по силам раз в два-три года покупать спортивный болид хотя бы с 600-сильным двигателем, чтобы с юмором относиться к самой возможности быть «сделанным» на светофоре.
Поэтому у многих возникает следующий вопрос: «в моей машине меня все, в общем, устраивает, но нельзя ли добавить мотору немного мощности, и чтобы на круг вышло недорого?»
Первое, что приходит в голову, - это, конечно, чип-тюнинг (chip-tuning). Или, говоря компьютерным языком, доработка программного обеспечения двигателя. Как известно, любой современный мотор с впрыском топлива работает под управлением электронного блока управления (ЭБУ), и, разрабатывая новый двигатель и программное обеспечение для него, завод-изготовитель обязан учесть массу противоречащих друг другу параметров. Например, совместить высокую отдачу мотора, низкий расход топлива и достаточный запас моторесурса. Завод ищет некий компромисс, который должен устраивать большинство покупателей, но ведь каждый из нас уникален и что мешает подстроить собственную машину под свои нужды?
Сразу оговорюсь, что подстройки эти обычно сказываются на токсичности выхлопа - и не в лучшую сторону. Но с другой стороны, когда повсюду чадят «КамАЗы» с «Икарусами», от того, что выхлоп собственной машины вместо стандартов Евро-4 будет соответствовать «лишь» Евро-2, экологическая ситуация в стране вряд ли сильно изменится. Да и никаких налоговых льгот владение «чистым» автомобилем у нас пока не дает. Похожая логика применима и к ресурсу мотора. Если речь идет о новой машине и хозяин знает, что через три года он наверняка ее сменит, а пробег за это время не превысит 100 тысяч километров, возникает резонный вопрос: а стоит ли заботиться о ресурсе двигателя? Если для стандартной новой иномарки он составляет 400-500 тысяч километров и в результате чип-тюнинга ресурс двигателя сократится до 250-300 тысяч километров, то ничего страшного не произойдет. Зачем тогда, спрашивается, покупать более мощную (и дорогую) версию, платить повышенные налоги, когда можно запросто нарастить мощность не столь дорогой машины, не декларируя этого в ГАИ?