Alonzo Church
Daha fazla bilgi
- Doğum
- Ölüm
- Bilinen
- Lambda kalkülüsü, Church–Turing tezi, Church teoremi
- Uyruk
- Amerikalı
Hilbert'in karar problemini Turing'den birkaç ay önce, programlama dillerinin atası çıkan bir araçla yanıtladı.
Church, Princeton'da matematikçiydi ve 1930'ların başında lambda kalkülüsünü geliştirdi: her şeyin fonksiyon, hesaplamanın da ifadeleri yeniden yazmak olduğu biçimsel bir sistem. 1936 baharında bunu kullanarak Entscheidungsproblem'in çözümsüz olduğunu gösterdi. Turing aynı yıl tamamen farklı bir modelle aynı sonuca vardı, sonra 1936–1938 arasında Church'ün doktora öğrencisi oldu; iki sistemin tam olarak aynı şeyleri hesapladığı ortaya çıktı, bugün buna Church–Turing tezi diyoruz.
Lambda kalkülüsü ispatın içinde kalmadı. 1940'taki basit tipli çeşidi sonraki her tip sisteminin atasıdır; LISP, ML, Haskell ve C++, Java, Python'a sızan lambda ifadelerinin hepsi doğrudan Church'ün anonim fonksiyon gösteriminden gelir. Belki daha büyük mirası öğrencileridir: Turing, Kleene, Rosser, Dana Scott, Michael Rabin, Raymond Smullyan. Church ayrıntıcılığıyla anekdot olmuştu; yazmadan önce tahtayı siler, zaten temizse bile. 1936'da Journal of Symbolic Logic'i kurdu ve kırk yıl boyunca düzenini korudu.