1
การคำนวณแคลคูลัสแลมบ์ดาที่เกี่ยวข้องกับเลขคริสตจักร
ฉันเข้าใจว่าเลขคริสตจักร ดูเหมือน ( ... n ครั้ง ... ) Z นี่หมายความว่าไม่มีอะไรมากไปกว่า "ฟังก์ชั่นใช้คูณกับฟังก์ชัน "cncnc_nλs.λz.sλs.λz.s\lambda s. \lambda z. sszszs\;zsssnnnzzz นิยามที่เป็นไปได้ของมีดังต่อไปนี้:s) เมื่อมองไปที่ร่างกายฉันเข้าใจถึงตรรกะเบื้องหลังฟังก์ชั่น อย่างไรก็ตามเมื่อฉันเริ่มประเมินฉันติด ฉันจะอธิบายด้วยตัวอย่าง:timestimes\mathtt{times}times=λm.λn.λs.m(ns)times=λm.λn.λs.m(ns)\mathtt{times} = \lambda m. \lambda n. \lambda s. m \; (n\; s) (λm.λn.λs.m(ns))(λs.λz.ssz)(λs.λz.sssz)→∗→∗→∗λs.(λs.λz.ssz)((λs.λz.sssz)s))λs.(λs.λz.ssz)(λz.sssz)λs.λz.(λz.sssz)(λz.sssz)z(λm.λn.λs.m(ns))(λs.λz.ssz)(λs.λz.sssz)→∗λs.(λs.λz.ssz)((λs.λz.sssz)s))→∗λs.(λs.λz.ssz)(λz.sssz)→∗λs.λz.(λz.sssz)(λz.sssz)z\begin{align*} (\lambda m. \lambda n. \lambda s. m \; (n\; s))(\lambda s.\lambda z.s\;s\;z)(\lambda s.\lambda z.s\;s\;s\;z) \mspace{-4em} \\ \to^*& \lambda …