Posted By: klimes () on 'CZphilosophy' Title: Strasi tu ta aporie Date: Fri Feb 14 00:16:51 1997 Dvoum odbornikum, Lumovi a Kolesovi. Kluci, Zda se,ze je tu jen jeden hlavni problem. tim je dukaz matematickou indukci. Nemohu si ted vybavit, jak presne zni axiom nekonecna, ale vim, ze je to v podstae indukcni krok, tj. Existuje N takove, ze 1 je prvkem N a pro kazde n , ktere je prvkem N, existuje n+1, ktere je taky prvkem N. Tento axiom nas musi nejak opravnovat k dukazum pomoci matematicke indukce. Jak?to by me prave zajimalo. Lumo uz popsal asi asi 20K a nezmohl se na popis tohoto ztrucneho duvodu. Myslim si, ze kdyby si usetril sve uvahy o Pilipove resortu a mych kondomech tak jsme mohli byt dale. :-)))) (Jen tak mimochodem, Mylsim si Lumo, ze ten dukaz ma logickou chybu, i kdyz nezpochybnim matematickou indukci. Ja dukaz matematickou indukci v tomto pripade ne zpochybnuji a presto si myslim, ze ten dukaz ma logickou chybu, o ktere, opakuji, nevis. ) Tri rozhnevani muzi. I zeptal se ho. Jake je tve jmeno? - Me jmeno je Pluk protoze je nas mnoho. :-)) Jeronym Klimes http://ms.anet.cz/~srpcuns/klimes.htm srpcuns@ms.anet.cz Heslo dne: Vivat iustitia, pereat Mundus. (At zije spravedlnost, at zhyne svet.)