Nabírání SMYČKY kdo šmíruje

26 Jun 10:19 am


Original: http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html

Důkaz, že problém zastavení je undecidable
Geoffrey K. Pullum
(Škola filozofie, psychologie a jazyka vědy, University of Edinburgh)

Žádný obecný postup pro kontrolu chyb bude dělat.
Teď, nebudu tvrdit jen to, že já to dokážu.
Dokážu, že i když by mohlo fungovat, dokud se kapka,
nemůžete říct, jestli výpočet se zastaví.

Pro představte máme proceduru s názvem P
že pro uvedenou vstup vám umožní vidět
zda je zadán zdrojový kód, se všemi svými chybami,
definuje běžné, že se nakonec zastaví.

Krmíte ve vašem programu, s vhodnými údaji,
a P dostane do práce a po chvíli
(V konečném čase výpočetní) správně dovozuje,
zda nekonečné opakování chování.

Pokud nedojde k opakování, pak P vytiskne “Dobře.”
To znamená, že práce na tomto vstupu se zastaví, jak by měl.
Ale pokud zjistí nezastavitelnou smyčku,
pak “špatné!” P zprávy – což znamená, že jste v polévce.

No, pravdou je, že P nemůže být,
protože pokud jste to napsal a dal mi to,
Mohl bych použít nastavit logickou vazbu
které by rozbít váš důvod a tahanice svou mysl.

Zde je trik, který budu používat – a to je jednoduché udělat.
Budu stanovit postup, který budu volat Q,
že bude používat ps předpovědi zastavení úspěch
vyvolat strašlivou logické nepořádek.

Pro zadané programu, řekněme, jeden zásoby,
První krok tohoto programu s názvem Q jsem vymyslet
je zjistit, z P to, co je správné říci,
o cyklické chování útok na A.

Jestliže p odpověď je “špatné!”, Bude Q náhle zastaví.
Ale jinak, Q zpět na vrchol,
a začít znovu, opakování donekonečna zpět,
do vesmíru zemře a ukáže zmrazené a černé.

A tento program s názvem Q nezůstane na ocet;
Chtěl bych vás požádat ji předpovědi jeho běh na sebe.
Když čte svůj vlastní zdrojový kód bude právě to, co dělat?
Co je to opakování chování Q běhu na Q?

Je-li P varuje nekonečné smyčky, bude Q přestat;
Ještě P má mluvit skutečně o tom!
A pokud Q to bude přestat kouřit, pak P měl říci “Dobře.”
Což Q začnou smyčky! (P popřel, že by to.)

Nezáleží na tom, P mohou provádět, bude Q nabrat:
Q užití P je výkon, aby P vypadat hloupě.
Ať P říká, nemůže předpovědět Q:
P má pravdu, když je to špatně, a je false, když je to pravda!

Jsem vytvořil paradox, čistý, jak může být –
a pomocí vašeho předpokládaný P.
Když jste navrhl P vstoupil do pasti;
Váš předpoklad vedl vás přímo do svého doupěte.

Takže tam, kde nemůže toto tvrzení mohlo jít?
Nemám to říct, jsem si jistý, že musíte vědět.
Reductio: Tam nemůže být
postup, který funguje jako bájný P.

Nikdy nemůžete najít obecné mechanické prostředky
pro predikci úkony výpočetních strojů;
to je něco, co nemůže být provedeno. Tak jsme se uživatelé
musí najít své vlastní chyby. Naše počítače jsou poražení!

Comments are closed