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

[Nick S. Grechukh]

В сообщении от 16 февраля 2006 10:40 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