Alonzo Church

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

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.