คำถามติดแท็ก hypercomputation

มีเครื่องจักรเชิงทฤษฎีใดบ้างที่เกินขีดความสามารถของทัวริงในบางพื้นที่หรือไม่?

39 computability  turing-machines  hypercomputation 

มีความสัมพันธ์ระหว่างกาลอวกาศ (เช่น MH spacetimes; ดู Hogarth 1994) ซึ่งเป็นช่วงเวลาที่ไม่มีที่สิ้นสุดของโลกที่สามารถบรรจุไว้ในอดีตของผู้สังเกตการณ์ที่มีขอบเขต ซึ่งหมายความว่าผู้สังเกตการณ์ปกติสามารถเข้าถึงจำนวนขั้นตอนการคำนวณได้ไม่ จำกัด สมมติว่าเป็นไปได้ที่คอมพิวเตอร์จะทำงานได้อย่างสมบูรณ์แบบในระยะเวลาไม่ จำกัด (และฉันรู้ว่ามันเป็นคำถามที่ยิ่งใหญ่): เราสามารถสร้างคอมพิวเตอร์ HM ที่เดินทางไปตามโลกที่ไม่มีที่สิ้นสุดนี้ HM ส่งสัญญาณไปยังผู้สังเกตการณ์ที่แน่นอน ถ้าหลังจากผู้สังเกตการณ์ไม่ได้รับสัญญาณจำนวนก้าวที่ไม่สิ้นสุดผู้สังเกตจะรู้ว่าเอ็มลูปแก้ปัญหาการหยุดชะงัก จนถึงตอนนี้ฟังดูโอเคสำหรับฉัน คำถามของฉันคือ: ถ้าสิ่งที่ฉันพูดไปนั้นถูกต้องแล้วสิ่งนี้จะเปลี่ยนแปลงข้อพิสูจน์ของทัวริงได้อย่างไรว่าปัญหาการหยุดพักไม่สามารถตัดสินใจได้ ทำไมหลักฐานของเขาล้มเหลวในการ spacetimes เหล่านี้ ?

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation