Från Rilpedia

Alonzo Church, född 14 juni 1903 i Washington, D.C., död 11 augusti 1995, var en amerikansk matematiker och logiker, som gjorde några fundamentala bidrag till datavetenskapen. Han var professor vid University of California, Los Angeles och var även verksam vid Princeton University, där han doktorerade 1927 under Oswald Veblen. Under åren 1937–38 hade han Alan Turing som doktorand.

Alonzo Church är främst känd för Churchs teorem, som innebär att första ordningens predikatlogik är oavgörbar, och för att ha skapat lambdakalkylen.