Читаем Жар холодных числ и пафос бесстрастной логики полностью

В этом рассуждении присутствует не только непререкаемая убежденность в принципиальной жесткой детермировакности явлений природы, но и глубокая уверенность в возможности — правда, тоже принципиальной — такой теории, которая абсолютно точно отражает развитие событий во Вселенной, то есть теории, представляющей собой знаковую модель, изоморфную реальности - такая уверенность звучит в ссылке на «формулу», ибо Лаплас, будучи математиком, подразумевал под последней, конечно, математическое соотношение — соотношение, содержащее в качестве переменных «наблюдаемые» физические параметры: координаты, импульсы, время; подставляя в эту «формулу» любое значение временной переменной, «всеобъемлющий ум» мог бы, считал Лаплас. вычислить значение других переменных, то есть узнать положение и скорость любой частицы материи в соответствующий момент времени.

В лапласовском подходе нельзя не обнаружить сходства с изложенным в гл. II проектом Лейбница. Роль «универсальной характеристики» — языка, на котором, по замыслу последнего, в принципе станет возможной запись всей информации о сущем, Лаплас отводит языку дифференциальных уравнений, а роль формального аппарата, позволяющего оперировать с выражениями этого языка («исчисления умозаключений»)—физическим законам, облеченным в математическую форму. В силу конкретности этого представления о научном языке и аппарате выводимости лапласовская концепция произвела гораздо более сильное впечатление на умы, чем лейбницевская. Она, казалось, открывала ясный путь к алгоритмизированному познанию всех аспектов мира (включая живую материю, которая, как считалось, в конечном счете управляется физико-химическими законами и ничем иным).

В концепции Лапласа оставался, правда, один не совсем ясный пункт. Для окончательного ее утверждения необходимо было принять тезис о том, что физических законов — законов основных, исходных, из «суперпозиции» которых строятся все остальные закономерности действительности, существует не так уж много и что все они имеют сравнительно простое математическое выражение; кроме того, нужно было допустить абсолютную строгость каждого физического закона и то, что фундаментальные законы с полной определенностью могут быть установлены с помощью опыта. Все эти тезисы во времена Лапласа не имели прямых подтверждений, но, вероятно, мало кто из представителей «точного естествознания» сомневался тогда в их справедливости.

Когда начиная с конца XIX века логика была математизирована, математика логизирована, а понятие об алгоритмической процедуре стало приобретать четкий смысл, возник вопрос о заполнении этих пробелов. В числе 23 наиболее актуальных математических проблем, провозглашенных Гильбертом на Втором Международном конгрессе математиков, оказалась следующая, шестая по номеру, проблема: «Математическое изложение аксиом физики». Если бы ее удалось решить, то можно было бы, наконец, сказать, что «алгоритм познания Вселенной» находится в наших руках.

Однако появление квантовой теории подорвало надежды на такой исход. Сформировался взгляд, что действительность состоит как бы из двух слоев, один из которых (функция состояния физической системы, или волновая функция) характеризуется определенностью развития на каждом этапе, но не доступен прямому наблюдению, а второй вмещает в себя наблюдаемые величины (координаты, скорости, энергию и т.д.), но не детерминируется однозначным образом. Эта «двуслойность» физической реальности, открытая новой физикой, означает, что статистичность — неустранимый атрибут мира: строгого алгоритма, описывающего наблюдаемые явления, не может существовать даже в принципе. В ней, этой «двуслойности», тоже одна из причин, заставляющих современных ученых искать «новые логики»: «вероятностную логику», «логику квантовой механики» и т. п.

Но вероятностно-статистический характер физических процессов — не единственный сюрприз, преподнесенный квантовой теорией. В ее рамках возникает небывалая «завязанность» всех процессов и событий физической реальности. Строго говоря, квантовая физика не имеет права говорить о волновых функциях отдельных систем, а может рассматривать лишь «волновую функцию мира». Например, для того, чтобы развить квантовую электродинамику, охватывающую теорию элементарных частиц, необходимо учитывать процессы, происходящие в галактиках. Это в новом свете рисует феномен приблизительной верности — объективной, но вместе с тем относительной истинности — естественнонаучных утверждений о событиях физического мира и еще раз подчеркивает важное место, которое в процессе познания занимают «внелогические» элементы мышления ученых: интуиция, догадка, вдохновение. Какая многогранная картина «неалгоритмичности» бытия и познания возникает в результате всего этого перед нами!

Перейти на страницу:

Похожие книги

Простая одержимость
Простая одержимость

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике. Неслучайно Математический Институт Клея включил гипотезу Римана в число семи «проблем тысячелетия», за решение каждой из которых установлена награда в один миллион долларов. Популярная и остроумная книга американского математика и публициста Джона Дербишира рассказывает о многочисленных попытках доказать (или опровергнуть) гипотезу Римана, предпринимавшихся за последние сто пятьдесят лет, а также о судьбах людей, одержимых этой задачей.

Джон Дербишир

Математика
Том 22. Сон  разума. Математическая логика и ее парадоксы
Том 22. Сон разума. Математическая логика и ее парадоксы

На пути своего развития математика периодически переживает переломные моменты, и эти кризисы всякий раз вынуждают мыслителей открывать все новые и новые горизонты. Стремление ко все большей степени абстракции и повышению строгости математических рассуждений неминуемо привело к размышлениям об основах самой математики и логических законах, на которые она опирается. Однако именно в логике, как известно еще со времен Зенона Элейского, таятся парадоксы — неразрешимые на первый (и даже на второй) взгляд утверждения, которые, с одной стороны, грозят разрушить многие стройные теории, а с другой — дают толчок их новому осмыслению.Имена Давида Гильберта, Бертрана Рассела, Курта Гёделя, Алана Тьюринга ассоциируются именно с рождением совершенно новых точек зрения на, казалось бы, хорошо изученные явления. Так давайте же повторим удивительный путь, которым прошли эти ученые, выстраивая новый фундамент математики.

Хавьер Фресан

Математика