Alonzo Church
Biografie / Matematika
[Čé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.