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.)