Стивен Хокинг

[vaspress.livejournal.com]

Стивен Хокинг: "Общая теория относительности сама по себе не в состоянии объяснить перечисленные свойства или ответить на поставленные вопросы, так как она говорит, что Вселенная возникла в сингулярной точке большого взрыва и в самом начале имела бесконечную плотность. В сингулярной же точке общая теория относительности и все физические законы неверны: невозможно предсказать, что выйдет из сингулярности. Как мы уже говорили, это означает, что большой взрыв и все события до него можно выбросить из теории, потому что они никак не могут повлиять на то, что мы наблюдаем." (КРАТКАЯ ИСТОРИЯ ВРЕМЕНИ ОТ БОЛЬШОГО ВЗРЫВА ДО ЧЕРНЫХ ДЫР)

- я верно понимаю, что это вера в сверхъестественное?

Comments

[wildnikky.livejournal.com]

И зачем нам использовать невычислимые функции для описания какого-то явления?

[pyka-npu3paka.livejournal.com]

иначе модель будет не точна. А иногда без них вообще никак, ТЭРЦ например

[wildnikky.livejournal.com]

Это не более чем проблема инструмента
В какой-то аксиоматике есть невычислимые функции и недоказуемые утверждения - это, конечно, может усложнить жизнь и заставить отказаться от инструмента, но об объективной реальности это ничего не говорит

[pyka-npu3paka.livejournal.com]

теоремы о неполноте об арифметике же=) Что касается аксиоматики, то вы неправы, они будут выполняться в любой непротиворечивой аксиоматике)

[wildnikky.livejournal.com]

Мы регистрируем явление (имеем просто конечный набор чисел) и выбираем аксиоматику, чтобы получить некую формулу, спаведливую для всех этих чисел

Может ли теорема о неполноте утверждать, что не существует ни одной формальной системы, где бы существовала такая формула?

[pyka-npu3paka.livejournal.com]

вы не поняли, формула (функциональная зависимость) существует, но вычислить ее за конечное время невозможно (по крайней мере без машины Тьюринга). Но и это только часть проблемы - сама физическая модель, описывающая реальность, всегда будет неполна - если образно, сколь ни делай точным глобус, второй Земли не сделаешь (даже полная копия будет отличаться).

[wildnikky.livejournal.com]

Что могло заставить нас выбрать невычисляемую функцию для известных заранее чисел, если мы свободны в выборе формальной системы?

Одна модель будет неполна, но всегда можно добавить еще одну модель, вместе они будут полней, но всё равно неполными, но делать ведь это можно бесконечно, пока не будет приемлимой полноты? :)

[pyka-npu3paka.livejournal.com]

точность

да, бесконечно)

[wildnikky.livejournal.com]

То есть математика не может помешать нам бесконечно повышать точность наших моделей? :)

[pyka-npu3paka.livejournal.com]

ну да, однако абсолютная точность недостижима)

[wildnikky.livejournal.com]

Ну, я это не утверждал изначально
Пардон, если неправильно выразился!

[pyka-npu3paka.livejournal.com]

это все пессимизм Хокинга виноват)