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