Alonzo Church discovered this mathematical concept that gives rise to the term used for an unnamed function in Scheme