โดยเฉพาะถ้าฉันกำหนดใหม่เป็น
แทน
จะแคลคูลัสเป็นพื้นฐานการแข่งขันหรือไม่?
ฉันเดาว่า "ไม่" เพียงเพราะฉันไม่สามารถสร้าง combinator K ปกติจาก , , และ combinators แต่ฉันไม่มีอัลกอริทึมที่จะติดตามหรือฉันมีสัญชาตญาณที่ดี เกี่ยวกับการทำสิ่งต่าง ๆ จากผู้รวมกลุ่ม
ดูเหมือนว่าคุณสามารถกำหนด
ด้วย -calculus แต่ฉันไม่สามารถทำงานย้อนกลับจากที่ได้รับในแง่ของและที่เหลือ
ความพยายามของฉันในการพิสูจน์ว่ามันยังไม่เสร็จสมบูรณ์ตามหลักความพยายามในการสร้างฟังก์ชั่นทุกอย่างที่สามารถทำได้จาก combinators เหล่านี้เพื่อแสดงให้เห็นว่าคุณถึงจุดตาย (ฟังก์ชั่นที่คุณเคยเห็นมาก่อน) ไม่ว่า ฉันรู้ว่าสิ่งนี้ไม่จำเป็นต้องเป็นเรื่องจริงของชุด combinators ที่ไม่สมบูรณ์ตามหน้าที่ (เช่น combinator ด้วยตัวเองจะไม่มีวันตายเมื่อใช้กับตัวเอง) แต่นี่เป็นความคิดที่ดีที่สุดของฉัน ฉันสามารถใช้combinatorเพื่อแอบออกจากสิ่งที่ฉันคิดว่าในที่สุดก็ถึงจุดจบดังนั้นฉันจึงไม่มั่นใจในความเป็นไปได้ของวิธีการนี้อีกต่อไป
ฉันถามคำถามนี้ในStackOverflowแต่ได้รับการสนับสนุนให้โพสต์ไว้ที่นี่ ฉันได้รับความคิดเห็นเล็กน้อยจากโพสต์นั้น แต่ฉันไม่แน่ใจว่าฉันเข้าใจถูกต้องหรือไม่
โบนัส: ถ้าไม่ใช่พื้นฐานที่สมบูรณ์ภาษาทัวริงยังสมบูรณ์อยู่หรือไม่?