Hypercomputationหมายถึงรูปแบบการคำนวณที่ไม่สามารถจำลองได้โดยใช้เครื่องทัวริง (ไฮเปอร์คอมพิวเตอร์ไม่จำเป็นต้องใช้ทางกายภาพจริง ๆ !) ไฮเปอร์คอมพิวเตอร์บางเครื่องสามารถเข้าถึงทรัพยากรที่ทำให้เกิดปัญหา Haltingสำหรับเครื่องทัวริงมาตรฐานได้รับการแก้ไข เรียกสิ่งนี้ว่า "พลังพิเศษ": ไฮเปอร์คอมพิวเตอร์ที่มีพลังพิเศษสามารถตัดสินได้ว่าเครื่องจักรทัวริงมาตรฐานใด ๆ สิ้นสุดลงหรือไม่
ไฮเปอร์คอมพิวเตอร์ประเภทใดที่ใช้
วิทยานิพนธ์ของ Ed Blakey ได้กำหนดกรอบอย่างเป็นทางการเพื่อจำแนกทรัพยากรที่สำคัญบางประเภทที่ใช้ในการประมวลผลหลายมิติ แต่มันก็ไม่ได้พยายามสำรวจแบบครอบคลุมของมหาอำนาจ ฉันไม่สนใจรายชื่อไฮเปอร์คอมพิวเตอร์ (มีรายชื่อในบทความ Wikipedia) แต่ในการทำความเข้าใจว่า "ซอสสูตรพิเศษ" แต่ละรุ่นใช้อย่างไรบางทีอาจคิดว่าเป็นทรัพยากรที่มีลักษณะเฉพาะ
คำถามนี้ได้รับแรงบันดาลใจจากความไม่สามารถตัดสินใจขั้นพื้นฐานได้อย่างไร . สิ่งที่เกี่ยวข้องกับการหักล้างวิทยานิพนธ์ทัวริสต์ของโบสถ์หมายความว่าอย่างไร ซึ่งสร้างการสนทนาที่น่าสนใจมากมายและมีรูปแบบการคำนวณใด ๆ ที่กำลังศึกษาอยู่กับความเป็นไปได้ที่จะมีประสิทธิภาพมากกว่า Turing Machines .