alonzo church
-
lambda calculus'un, haliyle lisp ailesinden dillerin mucidi olan insan.
-
hilbert'in entscheidungsproblem'ini, turing ile beraber [ birbirlerinden bagimsiz olarak ] cozumleyen amerikan matematikci.
-
kendisi dindar bir presbiteryendi.
-
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.
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