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

[Nick S. Grechukh]

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