Alonzo Church

Biografie

[Čérč], *14.6.1903 – †11.8.1995, americký logik a matematik, profesor univerzity v Princetonu a Los Angeles. Autor důkazu nerozhodnutelnosti predikátového kalkulu prvního řádu. Pracoval též v oblastech kombinatorické logiky, logické sémantiky i modální logiky. Hlavní dílo Introduction to Mathematical Logic (Úvod do matematické logiky).

Vytvořeno: 14. 3. 2000
Aktualizováno: 9. 6. 2008
Autor: -red-

Odkazující hesla: kombinatorická logika.