January 26th, 2014

geo

(no subject)


Текст про доказательство бытия Божия, разработанное Геделем
"Могу добавить, что хотя основную идею теоремы Банаха-Тарского понять совсем не сложно
http://www.math.umass.edu/~weston/oldpapers/banach.pdf
умом я ее принять могу, но сердцу не прикажешь... При этом, разумеется, знаю людей, которые искренне не понимают, в чем тут может быть проблема и зачем разводить сыр-бор из-за аксиомы выбора; они так натренировали свою интуицию, что для них и проблемы-то нет. Всегда были и такие и другие взгляды, и в этом смысле аналогия верна. Да, разумеется, я буду критиковать "самоочевидные" посылки тех теорий, с конечными выводами которых не согласен - ибо таково мое право - и почти наверняка (при известном напряжении) я найду там что-либо, за что уцепиться. Вероятно, найдется и зацепка на эту зацепку; всегда находилась. Ничто из этого, однако, не умаляет красоты самой теоремы. Ее утверждения м.б. верными или ложными, но она несомненно показывает, как кажущиеся самоочевидными предпосылки (которые обычно не имеют значения) всего в несколько ходов приводят к логическим последствиям, против которых кипит разум и восстает существо.
Но так, конечно, и должно быть; тут я согласен с Оккамом, который не терпел подобных построений и потому придумал основные аргументы, выдвигаемые против них. Если бы было иначе, то существование Б-га было бы логически неизбежным, и вера не могла бы быть свободным выбором человеческого разума, что противоречило бы представлениям о свободе воли, создавая тем логическое противоречие. Оккаму не зачем было бы опровергать Геделя: принятие "самоочевидных" посылок этого доказательства оставлено свободной воле.
...Нам предлагают найти отрицательные стороны всемогущества и всеведения! Признаться, никогда не задумывался на эту тему."
Collapse )