 |
Haskell Brooks CurryAmerikalı matematikçi ve mantıkçı
Doğum Tarihi: 12.09.1900
Ülke:  ABD |
İçindekiler:
Alonzo Church
Alonzo Church, 14 Haziran 1903’te Washington, D.C.’de doğan Amerikalı bir matematikçi ve mantıkçıydı. Lisans derecesini 1924 yılında Princeton Üniversitesi’nden, doktora derecesini ise 1927 yılında Chicago Üniversitesi’nden Oswald Veblen’in gözetiminde aldı.
Kariyer ve Katkılar
Church’ün araştırma programı matematiğin temel prensiplerini önemli ölçüde ilerletti. Church, mantığın gelişimine önemli katkılarda bulunarak Church-Curry mantığı olarak bilinen temelleri oluşturdu.
Yapısalcilik ve Formalizm
Church, yapısalcilik ve formalizmin metamatematik disiplinlerini şekillendirmede önemli bir rol oynadı. Kombinatoryal mantığın temellerini geliştirdi ve sonunda uygulamalı ve fonksiyonel programlama gibi programlama paradigmalarının gelişimine ilham verdi.
Lambda Hesaplama ve Curry Teoremi
1932 tarihli özgün makalesinde, “Mantığın Temeli İçin Bir Aksiyom Kümesi”nde Church, lambda hesaplamayı tanıttı. Bu formal sistem, bilgisayar biliminde temel bir kavram olan lambda soyutlamasının temelini attı. 1934’te Haskell Curry, lambda hesaplaması ile Church’un kombinatoryal mantığı arasındaki eşdeğerliği gösteren tarihi bir teorem olan Curry Teoremi’ni kanıtladı.
Miras
Matematik ve bilgisayar bilimleri üzerindeki derin etkisi, fonksiyonel işlem “currying” ve Haskell ve Curry programlama dillerinde görülebilir. Church, matematiksel yeniliklerinin kalıcı bir mirasını bırakarak, hesaplamanın anlayışını dönüştürmüş ve modern bilgisayar programlamasının temelini atmıştır. Church, 11 Ağustos 1995’te vefat etti ancak matematik dünyasındaki etkisi devam etmektedir.
