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