Church-Turings tes

Från Unix.se, den fria unixresursen.

Church-Turings tes påstår att

allt beräkningsbart är beräkningsbart med en Turingmaskin

I samma anda så noterar Michael Freedman m.fl. att alla rimliga beräkningsmodeller som tillför konsekvenser från kvantmekaniken (eller kvantfältsteorin) till den klassiska modellen ger klasser som sinsemellan, i praktiken, är ekvivalenta; det finns (bara?) en kvantteori för beräkningar. Däremot är de inte säkra på om tesen stämmer ända nere på Planckskalan.

Se även

• Alonzo Church
• Alan Turing