Church-Turing-Deutsch teze

Church-Turing-Deutschova teze ( princip CTD  - zkratka pro Church, Turing, Deutsch ; také silná Church-Turingova teze ) je fyzikálně přesnější formulace heuristické výpočetní Church-Turingovy teze navržené Davidem Deutschem v roce 1985 .

Podle práce je univerzální počítačové zařízení schopno simulovat jakýkoli konečný fyzikální proces; Aparát klasické fyziky , který v podstatě používá pojmy kontinuita a kontinuum , přitom neumožňuje modelovat všechny fyzikální procesy Turingovým strojem , který operuje pouze s vyčíslitelnými objekty . Deutsch navrhl, že kvantové počítače by mohly překonat omezení tohoto principu, pokud by se algebraické zákony kvantové fyziky mohly stát teoretickým základem popisujícím jakékoli fyzikální procesy, a popsal kvantový Turingův stroj  – poměrně jednoduchý abstraktní stroj, který simuluje kvantové algoritmy , a zformuloval rozšířený verze Church-Turingovy teze .

Otázka vnitřního obsahu práce a možnosti super-Turingových výpočtů  je předmětem výzkumu v digitální fyzice .

Odkazy