ส่วนเสริมของทฤษฎีเบต้าแลมบ์ดาแลมบ์ดา

ทฤษฎีเบต้า - กทพ. ของแลมบ์ดาแคลคูลัสคือโพสต์เสร็จสมบูรณ์ สามารถเพิ่มกฎเพิ่มเติมเพื่อขยายทฤษฎีเบต้าของแลมบ์ดาแคลคูลัสเพื่อให้ได้ทฤษฎีที่มารวมกันนอกเหนือจากทฤษฎีเบต้า - เอที

ป.ล.

คำถามนี้ละเมิดกฎของฉันเองที่คำถามควรอธิบายว่าทำไมผู้ถามถึงใส่ใจ

มันทำให้ฉันหลงทางในคืนหนึ่งไม่นานก่อนที่เว็บไซต์นี้จะเข้าสู่เบต้าส่วนตัวเพราะความเกี่ยวข้องกับการขยายและหลักการของคนตรงกลางที่ไม่เกี่ยวข้องกฎของกทพ. นั้นเป็นกฎการต่อขยายบางประเภทและมีตรรกะระดับกลางระหว่าง ถ้าอย่างนั้นมันก็น่าสนใจถ้ามีสิ่งใดสิ่งหนึ่งเช่นทฤษฎี "กลางกทพ."

ถ้าฉันทำเช่นนั้นจะเห็นได้ชัดว่าคำตอบของ Evgenij ทำให้เกิดปัญหาที่ชัดเจนในแบบที่ฉันกำหนดคำถามแทนที่จะเป็นสิ่งที่ฉันเป็นหลังจากนั้น

ใช่. มีตัวอย่างเบต้า + กฎ {s = t | s และ t ถูกปิดเงื่อนไขที่ไม่สามารถแก้ไขได้} เท่าที่ฉันจำไม่ได้เท่ากับเบต้า - กทพ. และสอดคล้องกัน ดูmathgateสำหรับคำอธิบายสั้น ๆ และอ้างอิงถึง Barendregt