Chaitinovo číslo: Porovnání verzí
Smazaný obsah Přidaný obsah
mBez shrnutí editace |
mBez shrnutí editace značka: editace z Vizuálního editoru |
||
Řádek 6:
Z [[Kraftova nerovnost| Kraftovy nerovnosti]] plyne, že suma je omezená a tedy dokazatelně konverguje k reálnému číslu, pro nějž platí <math> 0< \Omega <1 </math>. Toto reálné číslo však nelze žádným [[Algoritmus | algoritmem]] spočítat s přesností vyšší než striktně daný počet [[ Dvojková soustava| binárních]] míst; speciálně pak neexistuje algoritmus schopný hodnotu Chaitinova čísla libovolně aproximovat. Znalost hodnoty <math> \Omega </math> s dostatečnou přesností by totiž řešila [[problém zastavení]], o němž [[Alan Turing]] dokázal, že je algoritmicky neřešitelný.
Chaitinovo číslo je tedy reálné číslo, pro nějž je [[Matematický důkaz|matematicky dokazatelné]], že jej nebudeme umět nikdy spočítat ani se k jeho hodnotě přiblížit nad určitou mez přesnosti.
==Vlastnosti==
|