Faktaboks

Alonzo Church
Født
1903
Død
1995

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.

Læs mere i Den Store Danske

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.

eller registrer dig