Alonzo Church

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Alonzo Church
Doğum 14 Haziran 1903(1903-06-14)
Washington, Amerika Birleşik Devletleri
Ölüm 11 Ağustos 1995 (92 yaşında)
Hudson, Ohio, Amerika Birleşik Devletleri
Vatandaşlık Amerikalı
Eğitim Princeton Üniversitesi
Bilimsel kariyeri
Dalı Matematik, mantık
Çalıştığı kurumlar Princeton Üniversitesi (1929-67)
UCLA (1967-95)
Doktora
danışmanı
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

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

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

Alonzo Church 14 Haziran 1903'te Washington'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.

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ "Alonzo Church | American mathematician". Encyclopedia Britannica (İngilizce). Erişim tarihi: 2020-11-29.