Компьютерра, 2006 № 24 (644) - [19]
Да и вообще — в начале ХХ века в математике произошло очень важное событие. На критике так называемых чистых математических доказательств существования [Обратим внимание — чистая математика уже тогда рассматривала логики, ставшие актуальными в технике в 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.
DVD/HDD-рекордер с функцией караоке оснащен 250-гигабайтным жестким диском, на который можно записать 350 часов телепередач. Аппарат позволяет редактировать видеоматериал, имеет функцию TimeShift, поддерживает большинство популярных видео— и аудиоформатов (в том числе кодеки стандарта MPEG-4), обладает богатым набором коммутационных интерфейсов, включая цифровой вход DV (i.LINK/IEEE1394), и двумя микрофонными входами для караоке.
Дисплей: цветной TFT, 262К цветов, 132х176 точек
Камера: 1, 3 Мп, светодиодная «вспышка»
Передача данных: GPRS/EDGE
Новый телефон M-серии предназначен для людей, предпочитающих спортивный образ жизни. Это прочный аппарат, выполненный в молодежном стиле, в корпусе из высококачественного пластика и резины. Специальный клапан предохраняет объектив встроенной 1,3-мегапиксельной камеры от пыли и водяных брызг, цветной TFT-дисплей стоек к царапинам. Одна из изюминок BenQ-Siemens М81 — встроенный полнофункциональный музыкальный плейер со стереонаушниками (поставляются в комплекте) и поддержкой сменных карт формата micro SD. Предустановленное навигационное приложение «Activepilot» от Jentro в комплекте с GPS-приемником (дополнительный аксессуар) превращает телефон в полноценную навигационную систему. Приложение «Прогноз погоды» позволяет следить за изменением метеоусловий. Встроенная «вспышка» может использоваться в темноте в качестве фонарика. BenQ-Siemens M81 поддерживает широкую гамму аксессуаров от BenQ Mobile, увеличивающих функциональность. Например, при работе с гарнитурой Headset Bluetooth Stereo предусмотрена возможность управления всеми музыкальными функциями телефона через дистанционный пульт. BenQ-Siemens M81 поступит в продажу в третьем квартале 2006 года в цвете Graphite Black (графитовый черный). Рекомендуемая розничная цена около 240 долларов.
