Church, Alonzo, 1903–95, amerikansk matematisk logiker, professor i matematik och filosofi vid Princeton University 1929–67, vid University of California, Los Angeles 1967–90. Church var en förgrundsgestalt inom

(27 av 191 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

S.C. Kleene, Introduction to Metamathematics ( 1952).
Källangivelse
Nationalencyklopedin, Alonzo Church. http://www.ne.se/uppslagsverk/encyklopedi/lång/alonzo-church