ЧЁРЧ

ЧЁРЧ (Churh) Алон­зо (14.6.1903, Ва­шинг­тон – 11.8.1995, Хад­сон, штат Огайо), амер. ма­те­ма­тик и ло­гик, чл. Нац. АН США (1978). Окон­чил Прин­стон­ский ун-т (1927). В 1928–29 слу­шал лек­ции в Гёт­тин­ген­ском, в 1929 – в Ам­стер­дам­ском ун-тах. С 1929 ра­бо­тал в Прин­стон­ском ун-те (с 1939 проф. ма­те­ма­ти­ки, с 1961 проф. фи­ло­со­фии). С 1967 проф. Ка­ли­фор­ний­ско­го ун-та в Лос-Анд­же­ле­се. Внёс боль­шой вклад в раз­ви­тие ма­те­ма­тич. ло­ги­ки и тео­рии ав­то­ма­тов. Раз­ра­бо­тал (1932–33) сис­те­му ак­си­ом для об­щей тео­рии ло­ги­ки. В 1936 ис­сле­до­вал клас­сы вы­чис­ли­мых функ­ций. В том же го­ду сфор­му­ли­ро­вал т. н. те­зис Чёр­ча, ко­то­рый ши­ро­ко ис­поль­зу­ет­ся в тео­рии ал­го­рит­мов и в тео­рии ал­го­рит­ми­че­ских про­блем.