Church Alonzo (Alonsas Čèrčas) 1903 07 14Vašingtonas 1995 08 11Hudson (Ohajo valstija), Jungtinių Amerikos Valstijų matematikas, logikas. Vienas kompiuterių mokslo pradininkų. Dr. (1927). Amerikos menų ir mokslų akademijos (1960), Jungtinių Amerikos Valstijų nacionalinės mokslų akademijos (1978) narys.
Būdamas mažametis iš dalies neteko regėjimo. 1924 baigė matematiką Princetono universitete ir jame 1929–67 dėstė. 1967–90 Kalifornijos universiteto Los Andžele profesorius. Vienas žurnalo Journal of Symbolic Logic įkūrėjų ir jo vyriausiasis redaktorius 1936–79.
Svarbiausi moksliniai darbai iš matematinės logikos, rekursyviųjų funkcijų, algoritmų teorijos. Prisidėjo prie atsitiktinių sekų teorijos. Teigė, kad mechaniškai galima apskaičiuoti tik rekursyviąsias funkcijas ir tai reiškia, kad aritmetinės procedūros negali būti naudojamos teiginių, suformuluotų pagal aritmetikos dėsnius, nuoseklumui nustatyti (Churcho teorema). 20 a. 4 dešimtmetyje sukūrė λ skaičiavimą – formalų matematinės logikos ir informatikos modelį, skirtą funkcijoms aprašyti ir jų taikymui analizuoti. Tai sudarė pagrindą programavimo kalboms bei dirbtiniam intelektui atsirasti. Atliko svarbių modalinės logikos tyrimų, plėtojo tipų teoriją ir kūrė jos variantus.
Parašė vieną populiariausių to laikotarpio vadovėlių Įvadas į matematinę logiką (Introduction to Mathematical Logic 1956).
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.