Church Alonzo
 
Encyklopedia PWN
Church
[czə:rcz]
Alonzo, ur. 14 VI 1903, Waszyngton, zm. 11 VIII 1995, Hudson (stan Ohio),
amerykański matematyk i logik;
1929–67 profesor Uniw. Princeton, następnie Uniw. Kalifornijskiego; prace z logiki mat., podstaw matematyki, a także semantyki (teorii znaczenia) i historii logiki; 1936 udowodnił nierozstrzygalność arytmetyki; niezależnie od A. Turinga podał jedno z równoważnych sformułowań tezy, głoszącej, że każde efektywne obliczenie może być wykonane przez maszynę Turinga (teza Ch.–Turinga); 1936 zał. (do 1956 redaktor) „Journal of Symbolic Logic”; Introduction to Mathematical Logic (1956).
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia