Alonzo Church

Vikipedi, özgür ansiklopedi

Git ve: 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.

[değiştir] Yaşamı

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.