В сообщении от 16 февраля 2006 10:40 Denis G. Samsonenko написал(a): > > что существование бога, теоретически, доказать можно, если он есть. > Очень интересно, процесс доказательства существования зависит от того, > существует ли предмет, существование которого доказывается? > Если по условию существует (или не существует), то что вы собираетесь > доказываь? не "задано в условии", а "на самом деле" (о котором мы все равно не знаем). так вот если "на самом деле" Бог есть (или если бы был), то мы могли бы это доказать. > Проводить доказательство существования (или несуществования) можно > только при не заданном условии существования того (т.е. ответ будет по > окончании доказательства), чье существование (несуществование) > доказывается. бред, матлогику учите. непротиворечивость формальной системы, включающей исчисление предикатов, доказать невозможно если она непротиворечива, и т.д. (если она противоречива, то в ней можно доказать вообще что угодно - включая ее непротиворечивость:) предъявление двух взаимоисключающих доказуемых утверждений доказывает противоречивость)
и "знание ответа" != "доказательству". -- With best regards, Nick S. Grechukh System Administrator Technopark Corp. E-mail: [EMAIL PROTECTED] Cell: +38 0676 13 76 07 JID: [EMAIL PROTECTED] _______________________________________________ smoke-room mailing list smoke-room@lists.altlinux.org https://lists.altlinux.org/mailman/listinfo/smoke-room