π - Quotes feeds

Hláška: Lorem ipsum dolor sit amet invidunt takimata dolore.

: Informatické | : Peťa | : 24. 06. 2013 22:16
Peťa: A kdy je teda nějaká množina nerekuzivní?
Ivet: <několik minut vysvětlování, proč je množina všech programů, které necyklí rekurzivně spočetná>
Peťa: Takže nemůžeš říct, jestli program necyklí, protože když iteruje nekončenou proměnnou na neexistujícím počítači (turingův stroj), tak nevíš, jestli jenom dlouho iteruje nebo už se zacyklil?
Ivet: Jo! Přesně :)
Peťa: A pak že je to k něčemu dobrý...