Применимость математики

[gul_kiev]

Оказывается, не только Пенроуз математически доказал невычислимость человеческого сознания, но и Курт Гёдель в 1970 опубликовал математическое доказательство существования бога (об этом комментарии в том же блоге 1, 2, 3).
И это не стёб типа доказательства, что все лошади одного цвета, это вполне строгий и формальный вывод.

Comments

[arkkk]

/"Гёдель доказал не то, что математика (в особенности арифметика) - это произвольные поиски, направление которых определяется прихотью Человека; он доказал, что математика - это нечто абсолютное, и в ней мы должны не изобретать, но открывать" - написал Пенроуз./
- чего только не придумают эти дутые авторитеты современности, типа Р. Пенроуза, лишь бы заплутать своим безбожным разумом в трех соснах, и соблазнить ко лжи - "малых сих" (Лк 17:2).

Всё РОВНО НАОБОРОТ: Гёдель доказал, что математика НЕ ЕСТЬ нечто абсолютное, и нуждается в Сверх-сущностном Перво-Начале ничуть не меньше остального материального мира.

[gul_kiev]

Это ведь по сути один и тот же тезис: математика не является произвольной выдумкой математиков, они её открывают, а не изобретают. Верующий Гёдель и атеист Пенроуз сформулировали это утверждение немного разными словами, но суть одна и та же, и я не вижу, чтобы Пенроуз тут исказил мысль Гёделя.

[arkkk]

Произвольная выдумка? Что за странная фантазия?

Приведите хотя бы один пример знания, претендующего на научность, про которое можно было сказать: это - произвольная выдумка. )

[gul_kiev]

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