คำถามติดแท็ก church-turing-thesis

วิทยานิพนธ์ของโบสถ์ทัวริงระบุว่าทุกสิ่งที่สามารถคำนวณได้สามารถคำนวณได้ด้วยเครื่องทัวริง กระดาษ "การคำนวณแบบอะนาล็อกผ่านเครือข่ายประสาท" (Siegelmannn และ Sontag, วิทยาการคอมพิวเตอร์เชิงทฤษฎี , 131: 331–360, 1994; PDF ) อ้างว่าโครงข่ายประสาทเทียมของรูปแบบหนึ่ง (การตั้งค่านำเสนอในกระดาษ) มีประสิทธิภาพมากกว่า ผู้เขียนบอกว่าในเวลาชี้แจงรุ่นของพวกเขาสามารถรับรู้ภาษาที่ไม่สามารถคำนวณได้ในรูปแบบเครื่องทัวริง สิ่งนี้ขัดแย้งกับวิทยานิพนธ์ที่ทัวริสต์ของโบสถ์หรือไม่?

29 computability  turing-machines  church-turing-thesis 

นี่คือไร้เดียงสาและดังนั้นอาจเป็นคำถามที่ไม่ถูกต้องดังนั้นขออภัยล่วงหน้า! มุมมองของฉันคือว่าทัวริงเครื่องจักรสามารถถูกมองว่าเป็นพื้นฐานการคำนวณสำหรับภาษาโปรแกรมขั้นตอน / จำเป็น ในทำนองเดียวกันแลมบ์ดาแคลคูลัสเป็นพื้นฐานสำหรับภาษาโปรแกรมการทำงาน ฉันได้เรียนรู้เมื่อเร็ว ๆ นี้ว่าวิทยานิพนธ์โบสถ์ทัวริงยังแสดงให้เห็นความเท่าเทียมกันร่วมกันกับรูปแบบที่สามของการคำนวณ: recursive ฟังก์ชันทั่วไป มีภาษาการเขียนโปรแกรมที่ใช้สิ่งนี้เป็นรูปแบบการคำนวณหรือไม่? ถ้าไม่มีมีเหตุผลทางเทคนิคหรือไม่ เช่นนอกจาก "ยังไม่มีใครลองเลย"

23 programming-languages  mathematical-foundations  church-turing-thesis 

มีหลายภาษา (และฉันหมายถึงหลายภาษา) ซึ่งนับได้ว่าเป็นทัวริงได้ ภาษาที่นับไม่ได้ใด ๆ สามารถทัวริงได้

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

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

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

หากเรามีโปรแกรมคอมพิวเตอร์ใด ๆ ที่สามารถแก้ไขคำสั่งได้เป็นไปได้หรือไม่ที่จะจำลองโปรแกรมนั้นด้วยโปรแกรมที่ไม่สามารถแก้ไขคำแนะนำได้ แก้ไข: ฉันใหม่เพื่อ stackexchange ดังนั้นไม่แน่ใจว่าฉันได้รับอนุญาตให้ถามคำถามใหม่ที่นี่ แต่ที่นี่ไป: ตกลงเพื่อพิสูจน์ว่าเป็นไปได้จริง ๆ แล้วง่าย ๆ จริง ๆ ตามที่คุณได้แสดง ตอนนี้ฉันสงสัยว่า: มีปัญหาหรือไม่ที่จะมีประสิทธิภาพมากขึ้น (และเท่าไหร่) ในการใช้อัลกอริทึมการแก้ไขตัวเองที่มีประสิทธิภาพมากที่สุดเพื่อแก้ปัญหาเมื่อเทียบกับอัลกอริทึม

12 computability  computation-models  turing-completeness  church-turing-thesis 

ฉันเคยเห็นเว็บไซต์ที่อ้างว่า "พิสูจน์" ว่า HTML5 + CSS นั้นกำลังทำให้สมบูรณ์ ฉันได้เห็นเว็บไซต์ที่อ้างว่า "พิสูจน์" ว่า SQL นั้นเป็นทัวริงที่สมบูรณ์ ฉันเคยเห็นเว็บไซต์จำนวนมากที่อ้างว่า "อธิบาย" ว่าทัวริงสมบูรณ์หมายความว่าอย่างไร พอ! ฉันจะหาหนังสือ (เขียนโดยผู้เชี่ยวชาญในทฤษฎีการคำนวณ) หรือบทความที่ผ่านการตรวจสอบโดยเพื่อน (ในวารสารที่มีชื่อเสียง) ที่แสดงหลักฐานว่า "ภาษา XYZ นี้สามารถอธิบายเครื่องคำนวณซึ่งมีอำนาจการคำนวณเดียวกัน เป็นทัวริงจักร "?

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

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

9 computation-models  church-turing-thesis