Описать наиболее важные части «железа» может лишь математика. Причем в довольно абстрактных, «непрактичных» на уровне лабаза разделах.
С другой стороны — «софт». Под тончайшим слоем дружественных интерфейсов и геологическими пластами кода лежит прочнейший скелет булевой алгебры. Дисциплины, возникшей не из практических нужд, но из попыток математиков XIX века привнести некоторую упорядоченность в свою науку.
Да и вообще — в начале ХХ века в математике произошло очень важное событие. На критике так называемых чистых математических доказательств существования [Обратим внимание — чистая математика уже тогда рассматривала логики, ставшие актуальными в технике в 1990-е, когда на стиральных машинах появилась fuzzy logic (нечеткая логика)], опирающихся на логический принцип исключенного третьего, голландский математик Лёйтцен Эгберт Ян Брауэр (Luitzen Egbert Jan Brouwer) оформил новый подход к математике — интуиционизм.
Имея предшественников — от Паскаля и Канта до Лебега и Пуанкаре, — интуиционизм рассматривает математическое мышление как процесс мысленного построения, создающий свой собственный мир, не зависящий от наших ощущений и основывающийся на фундаментальной математической интуиции. Математика по Брауэру синтезирует истины, а отнюдь не выводит их из логики.
И что самое важное, Брауэр пересмотрел отношение математики к языку. Философы веками спорили — возможно ли невербальное мышление. Брауэр показал, что математика — полностью автономный, находящий основание в себе самом вид деятельности, не зависящий от языка. Идеи математики уходят в разум куда глубже, чем в язык. Они не зависят от словесного восприятия и куда богаче его. Естественный язык способен, по Брауэру, создать лишь копию идей, соотносимую с ней самой, как фотография с пейзажем.
«Брауэр открыл нам глаза и показал, как далеко классическая математика, питаемая верой в абсолют, превосходящий все человеческие возможности реализации, выходит за рамки утверждений, которые могут претендовать на реальный смысл и истинность, основанную на опыте» — так оценил значение интуиционизма Герман Вейль.
Но именно идеи классической математики удивительным образом подходят для описания процессов КЭД и ФТТ. И структурируют горы кода. И работать в ИТ, не зная их или используя лишь для тренировки ума, а так пользуясь естественным языком и дружественными интерфейсами, — все равно что описывать небесные явления по системе Птолемея. Дававшей, кстати, довольно точные результаты для пяти планет.
Terralab.ru: Железный поток
Автор: Сергей Озеров
Kodak EasyShare P712
Фокусное расстояние: 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.
BBK DW9955K
DVD/HDD-рекордер с функцией караоке оснащен 250-гигабайтным жестким диском, на который можно записать 350 часов телепередач. Аппарат позволяет редактировать видеоматериал, имеет функцию TimeShift, поддерживает большинство популярных видео— и аудиоформатов (в том числе кодеки стандарта MPEG-4), обладает богатым набором коммутационных интерфейсов, включая цифровой вход DV (i.LINK/IEEE1394), и двумя микрофонными входами для караоке.
Читать дальше