Church
Church [čérč] Alonzo, 14.6. 1903 - 11.8. 1995, amer. logik a matematik; prof. univ. v Princetonu a Los Angeles. Autor důkazu nerozhodnutelnosti predikátového kalkulu prvního řádu. Pracoval též v oblastech kombinatorické log., log. sémantiky i modální log. Hl. dílo Introduction to Mathematical Logic (Uvod do mat. logiky).
