Цитата:
Сообщение от Бразил
Атеизм не может быть противоречивым (по Гёделю), потому что как формальная система не обладает полнотой.
Вера же противоречива, потому что как формальная система обладает полнотой.
|
Домашнее задание выполнено на 2 балла...
Атеизм уже содержит в себе логическое противоречие (отрицание "невесть что"), а значит не содержит неполноты (т.е. это полная формальная система и противоречивая). А вера наоборот содержит в себе аксиому, которая является свидетельством непротиворечивости, а значит неполноты. Т.е. доказательство её содержится в более широкой формальной системе (т.е. за рамками наблюдаемого мира).
И тут пришла пора вспомнить о телеологическом принципе, который дополняет детерминизм. Наиболее полно его отразил в своих стихах Виктор Цой:
"Если есть стадо - есть пастух,
Если есть тело - должен быть дух,
Если есть шаг - должен быть след,
Если есть тьма - должен быть свет."
Если в рамках формальной системы есть невыводимая формула, значит за её рамками есть ещё более широкая формальная система, способная доказать формулу этой системы. В противном случае - эта меньшая формальная система не будет содержать невыводимую формулу.
Завершенность, продуманность и логичность наблюдаемого Бытия свидетельствует о том, что у него есть разумный Автор, а теорема Гёделя утверждает, что Он находится за пределами нашего бытия, и самое главное - за пределами понимания...
Всё логично.