Church-Turing tezinin güçlendirilmiş hali şöyle diyor:
Herhangi bir algoritmik işlem bir Turing makinesi kullanılarak verimli bir şekilde simüle edilebilir.
Şimdi, sayfa 5 (bölüm 1), Kuantum Hesaplama ve Kuantum Bilgileri: 10. Yıl Dönümü Baskısı Michael A. Nielsen, Isaac L. Chuang şunları söylüyor:
Güçlü Kilise Turing tezine bir zorluk sınıfı analog hesaplama alanından geliyor . Turing'den bu yana, birçok farklı araştırmacı ekibi, belirli analog bilgisayar türlerinin bir Turing makinesinde etkili bir çözümü olmadığı düşünülen sorunları etkili bir şekilde çözebileceğini fark etti. İlk bakışta, bu analog bilgisayarlar Church-Turing tezinin güçlü biçimini ihlal ediyor gibi görünüyor. Ne yazık ki analog hesaplama için , analog bilgisayarlarda gürültünün varlığı hakkında gerçekçi varsayımlar yapıldığında, bilinen tüm durumlarda güçlerinin kaybolduğu; bir Turing makinesinde çözülemeyen sorunları etkin bir şekilde çözemezler. Bu ders - gerçekçi gürültünün etkilerihesaplamalı bir modelin verimliliğini değerlendirirken dikkate alınmalıdır - kuantum hesaplama ve kuantum bilgisinin en büyük erken zorluklarından biriydi, kuantum hata düzeltme kodları ve hataya dayanıklı kuantum hesaplama teorisinin geliştirilmesiyle başarılı bir şekilde karşılandı. . Dolayısıyla, analog hesaplamanın aksine, kuantum hesaplama prensipte sınırlı miktarda gürültüyü tolere edebilir ve yine de hesaplama avantajlarını koruyabilir.
Bu bağlamda gürültü ile tam olarak ne kastedilmektedir? Termal gürültü demek mi? Yazarların ders kitabının önceki sayfalarında gürültü ile ne anlama geldiklerini tanımlamaması ya da açıklığa kavuşturmaması gariptir .
Onlar daha genel bir ortamda gürültü atıfta olup olmadığını merak ediyordum . Gibi, endüstriyel gürültü , titreşim gürültüsü , termal gürültü (veya ihmal edilebilir seviyelere düşürmek gibi) geleneksel gürültüden kurtulsak bile , gürültü hala genlik, faz, vb. sistemin kuantum mekanik yapısı.