Eeny, meeny, miny, moe
Addison (Church’s son in-law) to Church:
Dear Professor Church,
Russell had the iota operator, Hilbert had the epsilon operator. Why did you choose lambda for your operator?
Church to Addison:
eeny, meeny, miny, moe
Addison (Church’s son in-law) to Church:
Dear Professor Church,
Russell had the iota operator, Hilbert had the epsilon operator. Why did you choose lambda for your operator?
Church to Addison:
eeny, meeny, miny, moe