Vlákno názorů k článku Co je to nenaprogramovatelné? od Standa - Nechapu ten druhy kousek kodu: 1 void Q(void) { 2...

Nechapu ten druhy kousek kodu:

1 void Q(void) {
2 if (zastavi(Q))
3 while(1) { }
4 }

Proc ve fci Q testujeme na zastaveni sami sebe? Prece logictejsi by bylo testovat ve fci Q jinou fci, ne? Jinymi slovy, v tomhle kousku kodu nevidim dukaz, ze nejde napsat fci zastavi() (i kdyz to je asi pravda, ale z tohohle bych si to neuvedomil).

Muzete mi to prosim nekdo vysvetlit?

Diky.

> Proc ve fci Q testujeme na zastaveni sami sebe?

Protože chtěli dokázat že funkce Q() a zastavi(Q) nemohou běžet ve stejné exekuční doméně. Omylem to ale považují za důkaz neexistence jedné z nich.

> Prece logictejsi by bylo testovat ve fci Q jinou fci, ne? Jinymi slovy, v tomhle kousku kodu nevidim dukaz, ze nejde napsat fci zastavi()

Zcela správně. Je to podobný nesmysl jako chtít po všemocném Patejlovi balvany tak velké že je neuzvedne a ze vzniklého paradoxu vyvozovat jeho neexistenci :)