Alonzo Kilisesi

İsim: Alonzo Kilisesi

Doğum: 14 Haziran 1903, Washington, DC, ABD

Ölüm: 11 Ağustos 1995 (Yaş: 92)

Bilgisayarla ilgili katkılar

• Çalışmaları teorik bilgisayar bilimi alanını doğuran matematikçi ve mantıkçı.
• Öğrencisi Alan Turing ile birlikte, hesaplanabilir fonksiyonların doğası hakkında Church-Turing tezini önerdi.
• Fonksiyon soyutlaması açısından hesaplamayı açıklamak için resmi, “oldukça basit” bir matematiksel sistem olan lambda hesabını tasarladı. Bugün, lambda hesabı bilgisayar biliminin temel araçlarından biridir ve Lisp ve JavaScript gibi üst düzey programlama dillerinin tanımlayıcı bir yönüdür.

önemli yayınlar

• Matematiksel Mantığa Giriş (1956).
• Lambda-Dönüşüm Hesabı (1941).
• Sembolik Mantığın Bibliyografyası (1936).

Onurlar ve ödüller

• Case Western Üniversitesi, Princeton Üniversitesi ve SUNY Buffalo’dan Fahri Bilim Doktoru (DSc) dereceleri.

alıntılar

“Hiç kimseyle matematiksel konuşma yapmadım çünkü alanımda başka kimse yoktu.”

İlgili bilgisayar öncüleri

• Alan Turing