Alonzo Church Född 14 juni 1903 [ 1] [ 2] [ 3] Washington , USA Död 11 augusti 1995 [ 1] [ 2] [ 3] (92 år)Hudson [ 4] , USA Begravd Princeton Cemetery [ 5] [ 6] kartor Medborgare i USA Utbildad vid Harvard University , 1928 [ 7] [ 8] Princeton University , 1927 [ 7] [ 8] Göttingens universitet , 1928 [ 7] [ 8] Amsterdams universitet , 1929 [ 7] [ 8] Sysselsättning Matematiker , universitetslärare , filosof , datavetare Arbetsgivare Princeton University (1929–1967) [ 7] University of California, Los Angeles (1967–1990) [ 7] Noterbara verk Church-Turings hypotes och lambdakalkyl Redigera Wikidata
Alonzo Church , född 14 juni 1903 i Washington, D.C. , död 11 augusti 1995 , var en amerikansk matematiker och logiker , som lämnade 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 .
Alonzo Church är främst känd för Churchs teorem 1936, vilket bland annat visar att första ordningens predikatlogik är oavgörbar . Han har formulerat underlaget till det som sedermera kom att kallas Church-Turings hypotes och har skapat den så kallade lambdakalkylen , som påverkade konstruktionen av programspråket Lisp .
Church har under åren haft ett stort antal sedermera framstående matematiker som doktorander, bland andra Alan Turing , Raymond Smullyan och Leon Henkin .
Källor
Noter
Tryckta källor
Geoffrey Hunter, Metalogic, MacMillan, London 1973.