 |
Alonzo ChurchAmerikalı matematikçi ve mantıkçı, bilgisayar biliminin temellerine katkı sağlamıştır.
Doğum Tarihi: 14.06.1903
Ülke:  ABD |
İçindekiler:
- Alonzo Church’un Biyografisi
- Erken Hayatı ve Eğitimi
- Mantık ve Anlambilimde Katkıları
- Church-Turing Tezi
Alonzo Church’un Biyografisi
Alonzo Church, bilgisayar biliminin temellerine önemli katkılar sağlamış Amerikalı bir matematikçi ve mantıkçıdır. Çalışmaları matematiğin temellerine fonksiyonel bir yaklaşım geliştirme, lambda hesaplama ve lambda-belirlenilebilirlik tanımını sunma ve lambda hesaplamanın bir varyantını oluşturma gibi alanları kapsamaktadır.
Erken Hayatı ve Eğitimi
Alonzo Church, 14 Haziran 1903 tarihinde Washington, D.C., Amerika Birleşik Devletleri’nde doğmuştur. Lisans eğitimini 1924 yılında Princeton Üniversitesi’nde tamamlamış ve doktora derecesini 1927 yılında Oswald Veblen’in gözetiminde almıştır. 1926 yılında, Church Princeton Üniversitesi’nde matematik profesörü olmuştur.
Mantık ve Anlambilimde Katkıları
1936 yılından itibaren Church, “The Journal of Symbolic Logic” dergisinin editörlüğünü yapmıştır. Bu dönemde mantıksal anlambilim ve matematiksel mantık konularında araştırmalar yapmıştır. Aynı zamanda 1935 yılına kadar matematiksel mantık literatürünü kapsayan ünlü “Matematiksel Mantık Bibliyografyası”nı derlemiştir.
Church, lambda hesaplama teorisini geliştirmesiyle ün kazanmıştır. 1936 tarihli ünlü makalesinde “çözülemez sorunlar”ın varlığını göstermiştir. Bu makale, Alan Turing’in de hesaplamayı durdurma problemine yönelik çalışmasından önce gelir ve bu da hesaplamayla çözülemeyen problemlerin varlığını ortaya koymuştur.
Church-Turing Tezi
Daha sonra, Church ve Turing, lambda hesaplama ve Turing makinelerinin aynı özelliklere sahip olduğunu göstermişler ve bu da farklı “mekanik hesaplama süreçlerinin” eşdeğer yeteneklere sahip olabileceğini kanıtlamıştır. Bu çalışma, Church-Turing tezi olarak formalize edilmiştir.
Genel olarak, Alonzo Church’un mantık ve bilgisayar bilimine katkıları, alanda birçok temel kavram ve teorinin temelini atmıştır. Çalışmaları bugün bile bilgisayar biliminin gelişimini etkilemeye ve şekillendirmeye devam etmektedir.
