[room] Всеведение бога и свобода воли человека

[Nick S. Grechukh]

В сообщении от 16 февраля 2006 15:30 Denis G. Samsonenko написал(a):
> Мне пока не понятно как из противоречивости/непротиворичивости
> формальной системы, включающей исчисление предикатов, следует
> возможность доказательства существования бога, если он есть на самом
> деле.
это пример такой. вы неправильно интерпретируете выражение "если существует".
>непротиворечивость формальной системы, включающей исчисление предикатов, 
>доказать невозможно если она непротиворечива,
при вашем способе рассуждений получается, что доказывать уже нечего - мы ведь 
_предполагаем_ непротиворечивость. но это не так.

-- 
With best regards, Nick S. Grechukh
System Administrator
Technopark Corp.

E-mail: gns на tpway.com
Cell: +38 0676 13 76 07
JID: n.grechukh на jabber.tpway.com