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