Alonzo Church

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara
Alonzo Church
Doğum 14 Haziran 1903(1903-06-14)
Washington, D.C., Amerika Birleşik Devletleri
Ölüm 11 Ağustos 1995 (92 yaşında)
Hudson, Ohio, Amerika Birleşik Devletleri
Vatandaşlığı ABD'li
Dalı Matematik, mantık
Çalıştığı yerler Princeton Üniversitesi (1929-67)
UCLA (1967-95)
Öğrenim Princeton Üniversitesi
Doktora hocası Oswald Veblen
Doktora öğrencileri C. Anthony Anderson
Peter Andrews
George Alfred Barnard
Martin Davis
Alfred Foster
Leon Henkin
David Kaplan
John George Kemeny
Stephen Kleene
Gary R. Mar
Michael O. Rabin
Hartley Rogers, Jr
J. Barkley Rosser
Dana Scott
Raymond Smullyan
Alan Turing
Önemli başarıları Lamda kalkülüs
Church-Turing tezi
Frege-Church ontolojisi
Church-Rosser teoremi

Alonzo Church, teorik bilgisayar bilimine büyük katkıları olan ABD'li matematikçi ve mantıkçıdır. Özellikle lambda yüksek matematiği (calculus) yaratmasıyla tanınır.

Yaşamı[değiştir | kaynağı değiştir]

Alonzo Church 14 Haziran 1903'te Vaşington'da, ABD'de dünyaya geldi. Babası Samuel Robbins Church'tür. 1925'te Mary Julia Kuczinski ile evlendi. 1995'te ölmüştür. Princeton Mezarlığı'na gömülmüştür.

Öğrencileri arasında C. Anthony Anderson, Peter Andrews, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Gary Mar, Michael O. Rabin, Hartley Rogers, Jr, J. Barkley Rosser, Dana Scott, Raymond Smullyan ve Alan Turing de vardır.