Alonzo Church, amerikansk matematiker og logiker. Alonzo Church var 1947-67 professor i matematik og 1961-67 tillige i filosofi ved Princeton, derefter ved University of California, Los Angeles.
Alonzo Church beviste i 1936, at prædikatslogikken er uafgørlig, og samme år formulerede han sammen med Alan M. Turing Church-Turings tese om klassen af beregnelige funktioner eller problemer.
I forbindelse med studiet af algoritmer indførte Church lambdakalkylen, som i dag spiller en betydelig rolle i teoretisk datalogi og logik.
Endvidere varAlonzo Church grundlægger og hovedredaktør af Journal of Symbolic Logic, der er et vigtigt tidsskrift for matematisk logik.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.