Alonzo Church
Matematikçi
Genel bilgiler
Alonzo Church (14 Haziran 1903 — 11 Ağustos 1995), matematiksel mantığa ve teorik bilgisayar biliminin temellerine büyük katkılarda bulunan Amerikalı bir matematikçi ve mantıkçıydı.
En çok, Entscheidungsproblem, Frege-Church ontolojisi ve Church-Rosser teoreminin çözülemezliğini kanıtlayan lambda kalkülüs, Church-Turing tezi ile tanınır.
Ayrıca dil felsefesi üzerinde çalıştı.
Kısa bilgiler
- Doğum tarihi ve yeri:14 Haziran 1903, Washington, Amerika Birleşik Devletleri
- Ölüm tarihi ve yeri:11 Ağustos 1995 (92 yaşında), Hudson, Amerika Birleşik Devletleri
- Evliliği:Mary Julia Kuczinski (1925 y.-)
- Çocukları:Mary Ann ve Mildred, Jr., Alonzo Church