А вот нужны ли математические знания для того, чтобы в максимальной степени использовать возможности, предоставляемые современным компьютером? Рискну предположить, что без них не обойтись.
Почему? Да потому, что компьютер подобен двуликому Янусу. С одной стороны — «железо». Лет двадцать назад было принято напоминать, что любая цифровая схема на самом деле — аналоговая. Но аналоговая — это еще полбеды. Аналоговые устройства еще в пределах здравого смысла. А почти любое современное электронное устройство — это квантовая электродинамика и физика твердого тела (КЭД и ФТТ). То, что никак не соотносится с информацией, любезно предоставляемой нам нашими органами чувств. Не оценивается «common sense», «здравым смыслом». Не имеет никакого выражения на любом естественном языке.
Описать наиболее важные части «железа» может лишь математика. Причем в довольно абстрактных, «непрактичных» на уровне лабаза разделах.
С другой стороны — «софт». Под тончайшим слоем дружественных интерфейсов и геологическими пластами кода лежит прочнейший скелет булевой алгебры. Дисциплины, возникшей не из практических нужд, но из попыток математиков XIX века привнести некоторую упорядоченность в свою науку.
Да и вообще — в начале ХХ века в математике произошло очень важное событие. На критике так называемых чистых математических доказательств существования [Обратим внимание — чистая математика уже тогда рассматривала логики, ставшие актуальными в технике в 1990-е, когда на стиральных машинах появилась fuzzy logic (нечеткая логика)], опирающихся на логический принцип исключенного третьего, голландский математик Лёйтцен Эгберт Ян Брауэр (Luitzen Egbert Jan Brouwer) оформил новый подход к математике — интуиционизм.
Имея предшественников — от Паскаля и Канта до Лебега и Пуанкаре, — интуиционизм рассматривает математическое мышление как процесс мысленного построения, создающий свой собственный мир, не зависящий от наших ощущений и основывающийся на фундаментальной математической интуиции. Математика по Брауэру синтезирует истины, а отнюдь не выводит их из логики.
И что самое важное, Брауэр пересмотрел отношение математики к языку. Философы веками спорили — возможно ли невербальное мышление. Брауэр показал, что математика — полностью автономный, находящий основание в себе самом вид деятельности, не зависящий от языка. Идеи математики уходят в разум куда глубже, чем в язык. Они не зависят от словесного восприятия и куда богаче его. Естественный язык способен, по Брауэру, создать лишь копию идей, соотносимую с ней самой, как фотография с пейзажем.
«Брауэр открыл нам глаза и показал, как далеко классическая математика, питаемая верой в абсолют, превосходящий все человеческие возможности реализации, выходит за рамки утверждений, которые могут претендовать на реальный смысл и истинность, основанную на опыте» — так оценил значение интуиционизма Герман Вейль.
Но именно идеи классической математики удивительным образом подходят для описания процессов КЭД и ФТТ. И структурируют горы кода. И работать в ИТ, не зная их или используя лишь для тренировки ума, а так пользуясь естественным языком и дружественными интерфейсами, — все равно что описывать небесные явления по системе Птолемея. Дававшей, кстати, довольно точные результаты для пяти планет.
Terralab.ru: Железный поток
Автор: Сергей Озеров
Фокусное расстояние: 36-432 мм в 35-мм эквиваленте (f2,8-3,7)
Матрица: 7,1 Мп
Дисплей: 2,5 дюйма
Аккумулятор: собственный литий-ионный
Формат записи: RAW/TIFF/JPEG
Компания присоединилась к производителям «суперзумов» с оптической стабилизацией изображения, выпустив 7-мегапиксельную камеру с 12-кратным зум-объективом Schneider-Kreuznach Variogon.
Кроме автоматического в камере предусмотрены режимы приоритета диафрагмы, выдержки, ручной, а также большое количество сюжетных программ. Среди особенностей производитель отмечает задержку срабатывания затвора порядка 0,1 с, систему управления цветом Kodak Color Science, гибридную систему фокусировки по 25 точкам, режим панорамной съемки, режим «живой гистограммы», ручную установку баланса белого с выбором компенсации. Имеется контактная площадка, предназначенная для подключения зум-вспышки P20. Модель совместима с принтерами и док-станциями Kodak, системой печати Imagelink и технологией Pictbridge. Режим видеосъемки позволяет записывать видеоролики телевизионного качества (со звуком) формата MPEG-4 со скоростью 30 кадров в секунду. Функции редактирования видео на ЖК-дисплее обеспечивают монтаж фрагментов и печать отдельных кадров ролика. Ожидаемая цена — около $500.