ฉันมีสามคำถามย่อยที่เกี่ยวข้องซึ่งถูกเน้นด้วยสัญลักษณ์แสดงหัวข้อย่อยด้านล่าง (ไม่พวกเขาไม่สามารถแยกได้ถ้าคุณสงสัย) Andrej Bauer เขียนที่นี่ว่าฟังก์ชั่นบางอย่างสามารถทำได้ผ่านเครื่องทัวริง แต่ไม่ใช่ผ่านแลมบ์ดาแคลคูลัส ขั้นตอนสำคัญในการให้เหตุผลของเขาคือ:
อย่างไรก็ตามถ้าเราใช้แคลคูลัสแลมบ์ดา [โปรแกรม] c ควรคำนวณตัวเลขที่แสดงถึงเครื่องทัวริงจากเทอมแลมบ์ดาซึ่งเป็นฟังก์ชัน f สิ่งนี้ไม่สามารถทำได้ (ฉันสามารถอธิบายได้ว่าทำไมหากคุณถามเป็นคำถามแยกต่างหาก)
- ฉันต้องการดูคำอธิบาย / หลักฐานที่ไม่เป็นทางการ
ฉันไม่เห็นวิธีการใช้ทฤษฎีบทของไรซ์ที่นี่ มันจะนำไปใช้กับปัญหา "เครื่องจักรทัวริง T นี้และ L- คำศัพท์เทียบเท่า L lda นี้หรือไม่" เพราะการใช้คำกริยานี้กับคำที่เทียบเท่าจะให้ผลลัพธ์ที่เหมือนกัน อย่างไรก็ตามฟังก์ชั่นที่ต้องการอาจคำนวณต่างกัน แต่เทียบเท่า TM สำหรับเงื่อนไขแลมบ์ดาที่ต่างกัน แต่เทียบเท่า
- ยิ่งกว่านั้นถ้าปัญหาเกิดขึ้นจากการวิปัสสนาของแลมบ์ดาฉันคิดว่าการผ่านการเข้ารหัสเทอมของแลมบ์ดาจะต้องเป็นที่ยอมรับเช่นกันใช่ไหม?
ในอีกด้านหนึ่งเนื่องจากตัวอย่างของเขาเกี่ยวข้องกับการคำนวณในแลมบ์ดาแคลคูลัสจำนวนขั้นตอนที่ Turing Machine ต้องการเพื่อให้งานเสร็จสมบูรณ์ฉันไม่แปลกใจมาก
- แต่เนื่องจากแลมบ์ดาแคลคูลัสไม่สามารถแก้ปัญหาที่เกี่ยวข้องกับทัวริงได้ฉันสงสัยว่าใครสามารถกำหนดปัญหาที่คล้ายกันสำหรับแลมบ์ดาแคลคูลัสและพิสูจน์ว่ามันไม่สามารถแก้ไขได้สำหรับเครื่องจักรทัวริง เครื่องจักรทัวริง (ซึ่งจะทำให้ฉันประหลาดใจ)