A More Immediate Intuitive Appeal

Alonzo Church published The Calculi of Lambda-Conversion in 1941. On page 41, weighing up the formalisms that had been proposed for the intuitive notion…