Zkontrolovat strojově kód řádek po řádku dneska není možné z důvodu výpočetní náročnosti, ne z důvodu neznalosti turingových teorií. Ani perfektní znalost turinga ti v tomto případě nepomůže, když nemáš mašinu která to zvládne do příštího pondělí.
To neni tak uplne pravda, smysluplne analyzy dela kazdy lepsi kompilator. A netrva to moc dlouho. Problem je opravdu v tom, ze nektere analyzy udelat nemuzeme, protoze nevime, jak dlouho to bude trvat a zda to skonci.
Že ty jsi nedával na přednášce pozor. Obchodník je klasický příklad obecně neřešitelného problému a v praxi se to řeší pouze přibližně.
Obecne resitelny je, protoze prostor reseni je konecny. Ale nezname lepsi zpusob, jak nalezt presne reseni, nez vyzkouset vsechna po jednom.
V praxi pro reálný počítač nerozhodnutelný algoritmus jednoduše nelze sestavit, tudíž ho pak ani nelze analyzovat a následně se tak nelze dostat do těchto problémů
To je nepochopeni. Nerozhodnutelne problemy se prave v praxi vyskytuji az prilis casto. To ze o nejake jejich podtride neco lze dokazat jeste neznamena, ze na to existuje obecny algoritmus - je to asi jako rozdil mezi normalni a stejnomernou konvergenci.