Alonzo Church

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ı

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.

This article is issued from Vikipedi - version of the 3/7/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.