alonzo church
-
lambda calculus'un, haliyle lisp ailesinden dillerin mucidi olan insan.
-
1903-1995 yılları arasında yaşamış amerikalı matematikçi ve mantıkçı.
matematiksel mantığa ve teorik bilgisayar bilimi'nin temellerine önemli katkılarda bulunmuştur. dil felsefesi üzerinde de çalışmıştır.
öğrencileri arasında alan turing, david berlinski, martin davis, john george kemeny, simon bernhard kochen, isaac malitz gibi isimler yer almaktadır. -
hilbert'in entscheidungsproblem'ini, turing ile beraber [ birbirlerinden bagimsiz olarak ] cozumleyen amerikan matematikci.
-
kendisi dindar bir presbiteryendi.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap