รุ่นที่แข็งแกร่งของวิทยานิพนธ์คริสตจักรทัวริงระบุว่า:
กระบวนการอัลกอริทึมใด ๆ สามารถจำลองได้อย่างมีประสิทธิภาพโดยใช้เครื่องทัวริง
ตอนนี้ในหน้า 5 (บทที่ 1) หนังสือการคำนวณควอนตัมและข้อมูลควอนตัม: ฉบับครบรอบ 10 ปีโดย Michael A. Nielsen, Isaac L. Chuangกล่าวต่อไปว่า:
ระดับหนึ่งของความท้าทายในการที่แข็งแกร่งวิทยานิพนธ์โบสถ์ทัวริงมาจากเขตของการคำนวณแบบอะนาล็อก ในปีที่ผ่านมาตั้งแต่ทัวริงทีมนักวิจัยหลายคนสังเกตว่าคอมพิวเตอร์อะนาล็อกบางประเภทสามารถแก้ปัญหาได้อย่างมีประสิทธิภาพซึ่งเชื่อว่าไม่มีวิธีแก้ปัญหาที่มีประสิทธิภาพในเครื่องทัวริง เมื่อเห็นแวบแรกคอมพิวเตอร์อะนาล็อกเหล่านี้ดูเหมือนจะละเมิดรูปแบบที่แข็งแกร่งของวิทยานิพนธ์ทัวริสต์ของโบสถ์ น่าเสียดายที่การคำนวณแบบอะนาล็อกปรากฎว่าเมื่อสมมติฐานที่เป็นจริงเกี่ยวกับการมีสัญญาณรบกวนในคอมพิวเตอร์อะนาล็อกเกิดขึ้นพลังของมันจะหายไปในทุกกรณีที่ทราบ พวกเขาไม่สามารถแก้ไขปัญหาที่ไม่สามารถแก้ไขได้บนเครื่องทัวริงอย่างมีประสิทธิภาพ บทเรียนนี้ - นั่นคือเอฟเฟกต์ของสัญญาณรบกวนที่สมจริงจะต้องนำมาพิจารณาในการประเมินประสิทธิภาพของแบบจำลองการคำนวณ - เป็นหนึ่งในความท้าทายที่ยิ่งใหญ่ของการคำนวณควอนตัมและข้อมูลควอนตัมซึ่งเป็นความท้าทายที่ประสบความสำเร็จจากการพัฒนาทฤษฎีของรหัสการแก้ไขข้อผิดพลาดเชิงควอนตัม . ดังนั้นในการคำนวณเชิงควอนตัมจึงไม่เหมือนกับการคำนวณแบบอะนาล็อกซึ่งแตกต่างจากการคำนวณแบบอะนาล็อกที่สามารถทนต่อเสียงรบกวนที่จำกัดและยังคงมีข้อได้เปรียบในการคำนวณ
เสียงรบกวนในบริบทนี้มีความหมายอะไรกันแน่? พวกเขาหมายถึงเสียงความร้อนหรือไม่ มันแปลกที่ผู้เขียนไม่ได้กำหนดหรือชี้แจงความหมายของเสียงในหน้าก่อนหน้าของตำราเรียน
ฉันสงสัยว่าพวกเขากำลังพูดถึงเสียงรบกวนในการตั้งค่าทั่วไปมากขึ้น เช่นแม้ว่าเราจะได้รับการกำจัดของเดิมเสียงที่ชอบ - อุตสาหกรรมเสียง , การสั่นเสียงความร้อนเสียง (หรือลดพวกเขาให้อยู่ในระดับเล็กน้อย) เสียงก็ยังหมายถึงความไม่แน่นอนในความกว้างเฟส ฯลฯ ซึ่งเกิดขึ้นเนื่องจากการที่อยู่ภายใต้ ธรรมชาติเชิงกลควอนตัมของระบบ