Компьютерра, 2006 № 20 (640) - [21]
Поддерживаемые процессоры: AMD Athlon 64 FX / Athlon 64 X2 Socket AM2
Поддерживаемая память: DDR2 800 МГц
Поддержка SLI: nVidia SLI, PCI Express X16
Сетевой интерфейс: два порта Gigabit Ethernet с объединением каналов и переключением на резервный канал при отказе
Звуковая подсистема: 8-канальная High Definition Audio с поддержкой DTS и Dolby
Новая серия системных плат с обозначением S рассчитана на процессор AMD AM2. Вынесенная в заголовок модель — флагман этой линейки. Особенностью платы является технология бесшумного охлаждения чипсета Silent-Pipe (вернее, не совсем бесшумного — кулер требуется процессору, но он же охлаждает ключи преобразователя питания и чипы северного и южного мостов через соединяющую их тепловую трубку). Все системные платы серии S поддерживают фирменное программное обеспечение Gigabyte: Download Center, @BIOS, Q-Flash, Xpress Install, Boot menu, Smart Fan, утилиты Xpress Recovery 2, PC Health Monitor, HDD S.M.A.R.T. и C.O.M., а также технологии Virtual Dual BIOS и BIOS Setting Recovery.
Наука:
Проблемы 2000 года: теория Янга-Миллса
Автор: Сергей Николенко
Развитие математики всегда шло рука об руку с развитием физики: то наши знания о природе требовали новых, еще не разработанных математических аппаратов, то новая математика, поначалу представляющаяся лишь изящным упражнением для ума, неожиданно оказывалась необходимой для развития физических теорий. Заключительная в нашем цикле публикаций «задача на миллион» относится к первой из этих категорий.
В античном мире не было проблем с соответствием между математическим и физическим аппаратами: материалистические теории древних греков были наивными, умозрительными и математического обоснования не требовали, а вершина математической мысли греков — идеи Архимеда — к физическим теориям отношения не имели и предназначались для нужд геометрии.
Однако уже начиная с Нового времени, математика и физика не могут жить друг без друга. В самом буквальном смысле: Ньютон разработал матанализ именно как математический аппарат для своих физических открытий и даже философских идей. Кстати, сэр Исаак был очень недоволен Лейбницем, который сделал анализ понятным, доступным и алгоритмическим, — по мнению Ньютона, высшая математика должна была быть эзотеричной[Я уж молчу про анализ Ферма, основанный на алгебраической бесконечно малой, о котором нужно рассказывать отдельно]. Ньютон, по обыкновению того времени, зашифровал свое «научное завещание» в латинской анаграмме. Единственная разумная расшифровка этой анаграммы выглядит примерно так: «Полезно решать дифференциальные уравнения». Следующие два века действительно прошли под знаком математического анализа и дифференциальных уравнений — мир представлялся французским математикам, лидерам тогдашней науки, гигантской системой дифференциальных уравнений. Стоит только решить ее, и развитие Вселенной будет предсказано точно и достоверно. К этому мировоззрению относится и гордое лапласовское «В этой гипотезе я не нуждался» в ответ на замечание Наполеона о том, что система мира Лапласа не предусматривает Бога.
Во второй половине девятнадцатого века маятник качнулся в другую сторону. Развитие математики несколько опередило развитие физических теорий. Самый яркий и широко известный пример — неевклидовы геометрии Лобачевского, Бойяи, Гаусса и позднее примкнувшего к ним Римана. Поначалу эти теории всего лишь закрыли вопрос с пятым постулатом Евклида[Пятый постулат равносилен утверждению, что через точку, не лежащую на данной прямой, можно провести одну и только одну прямую, параллельную данной. Евклид сформулировал его запутанно и многословно (в отличие от других, кристально ясных постулатов). Многие математики потратили кучу сил и времени на попытки вывода пятого постулата из остальных постулатов евклидовой геометрии], продемонстрировав, что он не выводится из остальных аксиом, — результат интересный, но вряд ли сам по себе имеющий хоть какое-то прикладное значение. Но впереди был Эйнштейн, который, опираясь на работы классика геометрии Минковского, показал, что Вселенная, на самом деле, имеет переменную кривизну, а школьная евклидова геометрия, увы, всего лишь абстракция.
Затем существующей математики еще долго хватало для того, чтобы описывать физические теории. Так, квантовая механика и основанные на ней теории (например, теория суперструн) пользуются заранее разработанными разделами математики (в частности, теорией групп и функциональным анализом).
Проблемы с квантовой теорией Янга-Миллса — это мяч, который снова попал на математическое поле. Физика требует от математики теории, которая описывала бы накопленные физиками идеи и соотношения, а математика пока не может дать подходящего аппарата.
Взаимодействия между любыми природными объектами (телами, частицами, волнами) делятся на четыре типа: гравитационное, электромагнитное, сильное и слабое. В физике не прекращались попытки создать теорию, которая бы объясняла все эти взаимодействия, так называемую общую теорию поля. Теория Янга-Миллса — это математический язык, который позволил физикам описать три из четырех основных сил природы (гравитация пока не поддается, так что об общей теории поля говорить рано).
