OT: Matematika a definice rovnosti

[Ondrej Luks]

Pekne popsany problem vycislitelnosti pro programatory je tady (anglicky) :
http://moonflare.com/countabilityInC.php

RV napsal(a):
> Zdravim,
> 
> na jedne konferenci jsme se dostali na to zda hodnota cisla 9.9999..... (s
> nekonecnym rozvojem) je mnsi nez 10 nebo rovne 10.
> 
> Ja tvrdim, ze vyjadreni 9.999.... je jen mat. symbol (takova obrzlicka) pro
> jiny zapis cisla 10 a tudiz se cislu deset rovna.
> 
> Vychazim totiz z toho, ze pro rovnost realnych cisel (tedy lezicich na cis.
> ose) musi platit, ze neexistuje zadne takove cislo ktere lezi mezi
> porovnavanymi. V pripade ze rozvoj je nekonecny tak tam uz nikde dal nic
> neni a proto takove cislo nelze najit.
> 
> Tedy zapis 9.999....+0.000...00001 odpovida 10+0 a tedy vysledek je 10.
> 
> RadekCX
> 
> 
> _______________________________________________
> HW-list mailing list  -  sponsored by www.HW.cz
> Hw-list@list.hw.cz
> http://list.hw.cz/mailman/listinfo/hw-list
> 
>