Макс 509 (chyyr) wrote,
Макс 509
chyyr

Categories:

Наш ответ демону Лапласа




Это я уже неделю слежу за спором bbzhukovа с неким gineerом об "идеальном" и "материальном". У каждой из сторон свои представления о том, что следует называть словами "идеально" и "материально" (точнее, bbzhukov полагает, что атомы называть "материальными" правильно, а вот роман Пушкина "Евгений Онегин" уже не совсем, у gineer представление, что материальным по определению надо называть все что есть, а идеальным - только то, чего нет, но если чего нет, то и говорить об этом нечего), и согласовывать их они не намерены.

Так вот, в одном из комментов gineer признался, что верит в демона Лапласа (а именно, полагает, что если бы некий достаточно мощный вычислитель знал бы точные характеристики всех частиц во Вселенной в какой-то момент времени и кроме того знал все законы их взаимодействия, то он бы мог однозначно найти состояние Вселенной в каждый следующий и каждый предшествующий момент времени). Между тем, такое утверждение - "демон Лапласа возможен" - отнюдь не очевидно; более того, оно очень сильно связано с тем, каким именно законам подчиняются частицы, и в некоторых математических системах демон Лапласа просто-напросто невозможен. Причем для этого не нужно даже обращаться к теории случайных процессов.

Простейщим примером будет написанное выше эволюционное уравнение. ("По неотрицательной полупрямой со скоростью корень из икс, где икс - расстояние до начала координат, движется точка. В начальный момент времени она находится в начале координат. Решением задачи назовем такую непрерывно дифференцируемую функцию икс, которая удовлетворяет уравнению и в начальный момент равна нулю. Вопрос: чему равен икс в момент времени t?)

Как легко проверить, написанная задача имеет бесконечно много решений, устроенных следующим образом: до какого-то неотрицательного момента времени точка неподвижна, после чего (если T конечно, разумеется) начинает двигаться по закону .
Получается, что существует бесконечно много различных состояний системы, которые в начальный момент ничем друг от друга не отличаются; как не уточняй начальные данные, единственности ты не получишь. Единственности можно добиться только пересмотрев определение решения и назвав какие-то решения "ненастоящими" - но тут же встает вопрос, а почему мы назвали "настоящим" именно это решение, а не какое-то другое?

Если уж в такой простенькой модели, где мы заведомо знаем все законы, нет единственности (и, значит, нет и демона Лапласа), то тем более нет гарантии, что демон Лапласа возможен для Вселенной в целом (для которой мы вообще не знаем полной правильной формализации). Конечно, идейные детерминисты могут брать существование демона Лапласа в качестве дополнительной аксиомы - но они должны понимать, что это именно произвольно постулированное свойство, присущее далеко не всякой динамической системе, а не какое-то универсальное качество. И вполне может оказаться, что реальной вселенной их модель таки не соответствует.

PPS Как вы поняли, я _не_ детерминист.
Tags: credo, математика
Subscribe

  • Анекдоты с бородой-4

    Анекдот про пациента с депрессией, которому порекомендовали посмотреть на очень смешного клоуна, широко известен как минимум с конца XVIII века.…

  • Иван IV, за свою жестокость прозванный Васильевичем.

    Iwan IV surnommé BASILOWITZ & connu dans nos Histoires sous le nom du Tyran Jean Basilide. Иван IV, прозванный Васильевичем, и известный в нашей…

  • Воспоминания о будущем

    Народные лингвисты будущего будут объяснять происхождение русско-украинских пар golod/holod, gorka/hirka, godnost'/hidnist' и т.п. тем, что палец на…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 104 comments

  • Анекдоты с бородой-4

    Анекдот про пациента с депрессией, которому порекомендовали посмотреть на очень смешного клоуна, широко известен как минимум с конца XVIII века.…

  • Иван IV, за свою жестокость прозванный Васильевичем.

    Iwan IV surnommé BASILOWITZ & connu dans nos Histoires sous le nom du Tyran Jean Basilide. Иван IV, прозванный Васильевичем, и известный в нашей…

  • Воспоминания о будущем

    Народные лингвисты будущего будут объяснять происхождение русско-украинских пар golod/holod, gorka/hirka, godnost'/hidnist' и т.п. тем, что палец на…