Alonzo Church Sözleri – Duygusal, Derin ve İlham Veren Alonzo Church Anlamlı Sözleri

Alonzo Church Kimdir? Hayatı ve Kısa Biyografisi

Alonzo Church, Amerikalı matematikçi ve mantıkçı.Alonzo Church,matematiksel mantıkveteorik bilgisayar biliminintemellerine yaptığı devrim niteliğindeki katkılarla tanınanAmerikalıbir matematikçi ve mantıkçıdır. En çok, hesaplama kavramının temelini oluşturanlambda kalkülüsünü (λ-calculus)icat etmesiyle bilinir. 1936 yılında, herhangi bir matematiksel ifadenin doğruluğuna karar verecek genel bir algoritmanın olmadığını kanıtlayarakDavid Hilbert’in ünlüEntscheidungsproblem’ini (karar problemi) çözen ilk kişilerden biri olmuştur (Alan Turingile bağımsız olarak). Bu çalışma, hesaplamanın sınırlarını tanımlayan veChurch-Turing teziolarak bilinen hipotezin temelini atmıştır. Princeton Üniversitesi’nde uzun yıllar profesörlük yapmış ve aralarındaAlan Turing’in de bulunduğu birçok önemli mantıkçı ve bilgisayar bilimci yetiştirmiştir.Alonzo Church’ün Erken Yaşamı ve EğitimiAlonzo Church, 14 Haziran 1903’te Washington, D.C.’de doğdu. Babası Samuel Robbins Church, Columbia Bölgesi’ndeki mahkemelerde bir yargıçtı. Ailesi, babasının görme yetisinin zayıflaması nedeniyle emekli olunca Virginia’ya taşındı.Church, Connecticut’taki Ridgefield Okulu’nda okudu. 1920’dePrinceton Üniversitesi’ne girdi ve burada istisnai bir matematik yeteneği sergiledi. 1924’te lisans derecesini aldı. Lisansüstü eğitimine de Princeton’da devam etti ve 1927’de, ünlü topologOswald Veblendanışmanlığında, Lorentz dönüşümleri (Hendrik Antoon Lorentz) üzerine yazdığı teziyle matematik doktorasını tamamladı. Doktora sonrası dönemde Harvard Üniversitesi, Göttingen Üniversitesi ve Amsterdam Üniversitesi’nde çalıştı.

🌿 En Güzel Alonzo Church Sözleri

Lisede lisans öğrencisiydim ve matematik bölümü beni lisansüstü okumaya bastırdı. Aslında burs verdiler, yoksa devam edemezdim.
Hilbert’i okumaya çalıştım. O dönemde yalnızca matematik dergilerinde yayımlanan makaleleri vardı. Onları denemiş olan herkes bilir: okumak çok zordur.
Belki seçim aksiyomunun geçersiz olduğunu varsaymak, bazı matematikçileri rahatsız etmiş olabilir; bu durumda zıt varsayımları incelememiz gerektiğini düşünmüştüm.
Hiç kimseyle matematiksel sohbet etmedim, çünkü alanımda kimse yoktu.
Tez tam olarak mantık üzerine değildi, en azından Whitehead ve Russell’ın Principia Mathematica’sında bulacağınız türden bir mantık değildi. Daha çok matematik gibiydi; resmi bir dil kullanılmamıştı.
Belki bazı matematikçileri rahatsız eden tek şey, seçim aksiyomunun başarısız olabileceğini varsaymak ve zıt varsayımları araştırmamız gerektiğini düşünmekti.
Alanımla ilgili kimse olmadığı için hiç matematiksel sohbetim olmadı.
Hilbert’in makalelerini okumaya çalıştım. O zamanlar sadece matematik dergilerinde yayımlanmış makaleleri mevcuttu. Bunları denemiş olanlar bilir, okumaları çok zordur.