Alan Turing'in 100. doğum günü anısına

1
ChrisStephenson

23 Haziran 1912'de doğan Alan Turing'in, birbirinden tamamen farklı üç ayrı alanda, hala günümüzde hayatımızı etkileyen çok önemli bilimsel çalışmaları olmuştu.

Turing henüz 42 yaşındayken öldü. Uzunca bir süre bilgisayar bilimleri dışındaki alanlarda ismi bilinmedi. Turing'in, icadında çok önemli rol oynadığı bilgisayarlar sayesinde servet kazanan büyük firmalar da hala onun adını anmamakta.

Turing'in katkıları

Evrensel bilgisayar

Gödel, 1931'de, tamsayılarla aritmetik işlemleri de kapsayan tutarlı bir matematik sisteminin eksiksiz olamayacağını kanıtlamıştı. Böyle bir sistemde doğruluğu ya da yanlışlığı ispatlanamayacak önermeler olacaktı. “Bu önermenin, bu sistemde ispatı yoktur” gibi. Sistem tutarlı olsaydı, bu önermenin doğruluğu ya da yanlışlığı kanıtlanabilir olmalıydı. Gödel dehasıyla, bu şekilde, sistemin kendi içinden referans veren önermelerin sistem dışında bırakılamayacağını gösterdi. Bunu yaparken, bu önermelerin de tamsayılarla ilgili önermelere benzer şekilde ifade edilebileceğini göstermişti. “Bu aritmetik formül, bütün olası sayılarla denense bile bu sonucu vermez” örneğindeki gibi.

Hilbert'in “Bu kanıtlanamayan önermelerin neler olduğu bulunabilir mi?” sorusu, matematiğin temellerine dair henüz tam olarak cevaplanamayan bir soru olarak kaldı. Başka bir deyişle, bir matematiksel sistemde bir önermenin kanıtının olup olmadığını söyleyecek, buna karar verecek bir genel prosedür bulabilir miyiz? Burada genel prosedürün tanımını yapmak gerekiyordu. Turing'in ilk önemli işi, henüz 23 yaşındayken, bu genel prosedür fikrini somutlaştıran bir makine önermek oldu. Bu makine bugün Turing Makinesi olarak biliniyor. Turing, genel prosedür için önerdiği makine kabul edildiğinde, hangi önermelerin kanıtı olduğunun bilinemeyeceğini de ispatladı. Bu onun ilk önemli başarısıydı. Ancak Turing'in şanssızlığı, Amerikalı mantıkçı Alonzo Church'ün, bu problemin çözülemez olduğuna dair kanıtını Turing'den önce yayınlamış olmasıydı. Church'ün ispatı, çok daha farklı bir genel prosedür tanımı içeriyordu. Church, lambda calculus isminde bir soyutlama keşfi yaptı. Bu, yüksek seviye bir programlama diline benziyordu ve bu soyutlama ile Church, karar probleminin çözülemezliğini kanıtladı. Cambridge'de bir matematikçi olan M. H. A. Newman, Church'e, Turing'in nispeten gölgede kalan buluşundan bahseden bir mektup yazdı. Ardından da Turing, Church ile çalışabilmek için Princeton'a gitti.

Turing, burada Church'ün Turing Makinesi olarak adlandırdığı makineyle, Lambda Calculus ile yapılabilecek hesaplamaların aynı şekilde yapılabileceğini kanıtladı. Bunu yapmak için Turing Makinesi'nde çalışan bir Lambda Calculus derleyicisi yazdı.

Turing Makinesi'nin orjinal tanımı, tek tip hesaplama yapabilen bir makine idi. Hesaplama, Turing Makinesi içindeki sonlu durum otomatasına girdi olarak veriliyordu. Turing burada buluşunu bir adım öteye götürdü. Bu makinelerden bir tanesinin tarifini okuyup, yaptığı hesaplamaların tam olarak aynısını yapabilecek bir evrensel makine makine fikrini ortaya attı. İşte bu “Evrensel Turing Makinesi” dediğimiz şey, bugünkü programlanabilir bilgisayarların tam bir örneğiydi.

Turing, günümüz bilgisayar bilimcilerinin anlayacağı çok temel iki şeyi geliştirmişti: programlama dili yorumlayıcısı ve bir donanım emülatörü.

Turing ve Church'ün çalışmalarının bir araya gelmesi ile bugünkü bilgisayar bilimlerinin temeli olan hesaplama fikri oluştu. Turing Makinesi ve Lambda Calculus çalışmalarından, “Church-Turing Tezi” doğdu.

Kriptografi

Turing, Britanya'ya döndüğünde, 2. Dünya Savaşı'nda Alman ve Japon ordularında kullanılan Enigma kodlarının kırılması çalışmalarında görev aldı. Burada yaptıkları uzun süre devlet sırrı olarak açıklanmadı ancak artık günümüzde biliniyor. Turing, Polonyalı matematikçilerin kırdığı Alman ordu kodlarından yola çıkarak Alman Deniz Kuvvetleri'nin kırılamaz olarak bilinen kodlarının kırılması için çalışmıştı.

Turing'in bu çalışması bugün işlemsel karmaşıklık (Computational Complexity) olarak bilinen çalışmalarının da başlangıcıydı. Çok büyük üstel kombinasyonlar içeren problemler, teorik bazı öngörülerle küçültülerek, hızlı bir makinenin tüm çözüm uzayını tarayabileceği hale getiriliyordu.

Kod kırma işlemlerinin merkezi Bletchley Park'tı. Turing burada matematikçilerden oluşan bir grubun üyesi olarak çalıştı. Bu ekipte ayrıca Polonyalı matematikçiler ve Turing'in Cambridge'den hocası M. H. A. Newman da vardı. Turing bu grupta diğerlerinde çözülemez olarak addedilen problemlerin üstesinden gelerek matematik becerisini ortaya koymuştu.

Yapay Zeka

Turing'in ilk önemli makalesi, makinelerin düşünebileceği fikri üzerineydi. Bir hakem ile bir bilgisayarın iletişim kurması prensibi üzerine kurulu bir test önermişti. Günümüzde bu testte amacın, bilgisayarın hakemi bir insan olduğuna inandırabilmesi olduğu sanılıyor. Ancak Turing'in 1950 tarihli “Computing Machinery and Intelligence” makalesine bakıldığında, bilgisayarın hakemi insan olduğuna değil, kadın olduğuna inandırmaya çalışmasından bahsedildiği görülür. Bu, çok önemli bir farktır. Dahası, Turing'in hayat hakkında bu kapsamda bir kültürel farkı görmesi, Turing testinin gözardı edilen özelliklerinden biridir.

Morfogenez – Görünümün Oluşumu

Sonraları Turing'in ilgisi, morfogenez – canlı şekillerinin oluşumu alanına kaydı. İnsan dahil neredeyse tüm yaşayan organizmalar aslında tek bir simetrik hücre olarak hayata başlıyor. Sonra bu hücre tekrar tekrar bölünerek farklılaşmamış simetrik hücre grupları oluşturuyor. Ardından “birşey” oluyor ve bu organizmalar bir şekil alıyor. Turing'in bu konudaki tek makalesi, tekrarlayan yapıların bir şekil oluşturmasına yönelik bir mekanizmayı önerir. Bu, kaplanın çizgileri de olabilir, insan omurgası da ya da beş parmağımız da olabilir. Önerdiği mekanızma, iki zıt kimyasalın çakışması sonucu bu tekrarlayan yapıların oluşmasını anlatır. Günümüzde kaos teorisi olarak bildiğimiz süreci de içinde barındıran bu mekanizma, biyoloji alanında herhangi bir makale veritabanında binlerce kez referans verilmiş olarak karşınıza çıkacaktır. Son aylarda, fare damağındaki çizgilerin oluşumu üzerine yapılan bir çalışmada, tam olarak bu mekanizma ve zıt iki kimyasalın varlığı ortaya çıkarılmıştı.

Turing'in Yaşamı

Londra, Paddington'da doğan Turing'in ailesi, o zaman sömürge olan Hindistan'da devlet görevlisiydi. O yüzden 14 yaşına kadar akrabalarınca büyütüldü ve yatılı okula gitti. Okul yıllarında kimya, biyoloji ve kuantum fiziğine ilgi duyuyordu. Cambridge, Kings College'da matematik eğitimi aldı. Cambridge'de, entellektüel olarak pozitif etkilendiği ve eşcinselliğinin kabul gördüğü bir ortamdaydı. Mezuniyeti üzerinden çok geçmeden Kings College'da akademik üye oldu. Ardından doktora çalışması için Princeton'a, Alonzo Church'ün yanına gitti. Church, “Karar Problemi” çözümünün yayınlanması konusunda belki Turing'i geçmişti ancak onun Turing Makinesi çalışmasına her zaman itibar etti. Turing'e Princeton'da işe devam etmesi önerildi ancak o Britanya'ya döndü ve savaş sürecince Bletchley Park'taki kriptografi işine çalıştı.

Savaştan sonra, Turing'in ilk elektronik bilgisayarın oluşturulması çalışmaları sürekli bürokratik engellere takıldı. Önce Ulusal Fizik Laboratuvarı'nda ACE bilgisayarını tasarladı ancak geliştirmesi çok yavaş gidince, Manchester'a giderek ilk elektronik programlanabilir bilgisayar olan Manchester Mark 1 üzerinde çalıştı. Bu dönemde yapay zeka üzerine çalışmalarını ve morfogenez üzerine taslak makalesini yayınladı.

Turing aynı zamanda başarılı bir uzun mesafe koşucusuydu. 1948 Londra Olimpik Maratonu'nda gümüş madalya kazanan atleti, daha bir yıl öncesinde geçmeyi başarmıştı. Olimpiyatlarda koşma şansı da vardı ancak bir sakatlık nedeniyle saf dışı kalmıştı.

1952 yılında, Turing'in evinde bir hırsızlık soruşturması yapılıyordu. Turing eşcinsel ilişkisinden bahsedince polis tarafından tutuklandı. Çünkü o dönem Britanya'da eşcinsellik suç kabul ediliyordu. Aslında aleyhindeki tek kanıt, kendisinin dürüstçe verdiği ifadesiydi. Bu suçtan mahkum oldu ve bir yıl hapis cezasına çarptırıldı. Kendisine alternatif olarak eşcinselliğini “tedavi” etmek amaçlı bir hormon tedavisi önerildi. Bu hormon tedavisi aslında bir kimyasal hadım etme operasyonuydu. Bu hormon tedavisi, fiziksel ve psikolojik olarak çökmesine sebep oldu. 1954 yılında, henüz 42 yaşındayken siyanür enjekte edilmiş bir elmayı yiyerek intihar etti. 2009 yılında İngiltere Başbakanı, uygulanan bu tedavi nedeniyle Alan Turing'den özür diledi. Ancak mahkumiyet kararının iptaline yönelik başvuru reddedildi.

Sonuç

Turing'in 100. doğum gününde, dünya çapında yapılan aktivitelerle, onun çalışmalarının tanınmasına, parlak bilim adamlığına ve öte yandan eşcinselliği nedeniyle maruz kaldıklarına dikkat çekmeye çalışılıyor.

Günümüz bilgisayar endüstrisinin Turing'e saygı konusunda rezil durumda olduğu bir gerçek. Bu durum ancak Google gibi firmaların, Bletchley Park'ın restorasyonu ve korunması için yaptığı küçük bağışlarla telafi edilebiliyor.

Bilgisayar endüstrisinin, bilgisayar bilimlerinin teorik temellerini görmezden gelmesi bir gelenek haline geldi. Günümüzdeki bilgisayar sistemlerinin büyük oranda kötü çalışmasının temel nedeni budur.

İnsanların cinsel olarak “farklı” tercih yapmasına ve de “teori”ye karşı olan bu iki önyargı, Turing'in son 60 yıldır tanınmasına engel oldu. Bu iki önyargı da günümüz insanının gelişmesinin önünde duruyor. Ve bizler de Alan Turing'in hatırasını onurlandırmak adına bu önyargılarla mücadele etmeliyiz.

Yazan: Chris Stephenson

İngilizce'den Çeviren: Coşkun Gündüz

Görüşler

0
hcg
Yazının ingilizcesi için buraya ya da buraya.
0
anonim
Bu fikirler bu konuşmamda da var.

http://bit.ly/N5kwrq
0
anonim
Bu fikirler bu konuşmamda da var.

video
Görüş belirtmek için giriş yapın...

İlgili Yazılar

Öğrenmenin Psikolojisi

FZ

comp.lang.lisp'i takip ederken Robert Strandh'in bir mesajına rastladım. Strandh mesajında kısa süre önce yazdığı bir makalenin adresini veriyordu. Öğrenmenin psikolojisi üstüne yazılmış bu kısacık makale kendime, etrafımdaki insanlara ve günlük hayatıma dair çok güzel ipuçları barındırıyor, pek çok şeyi aydınlatıyordu; bu yüzden makaleyi Türk diline kazandırıp FM camiası ile paylaşmak ve bu önemli konuyu masaya yatırmak istedim.

Robert Strandh Bordeaux Üniversitesi'nde (Fransa) çalışan bir bilgisayar bilimleri profesörüdür. 1988 yılından beri üniversitede araştırmalarını sürdüren Strandh genel olarak programlama ile, özel olarak da dinamik dillerle, ağırlıklı olarak Common Lisp ile ilgilenmektedir. Robert Strandh 7 yıldır kendi yazılım projeleri için de Common Lisp programlama dilini kullanmaktadır.

IExplorer kullanmayın da ne kullanırsanız...2

sundance

Distrowatch'un haberine göre Internet tarayıcıları arasındaki rekabette, Mozilla/Firefox ciddi bir avantaj yakalamış durumda
US-CERT'in IE'deki açıkların ciddi risk oluşturduğunu belirtmesi ve başka tarayıcıların kullanılmasını güvenlik açısından tavsiye etmesinin ardından Mozilla ve Firefox downloadlarında ciddi bir artış yaşandığı, Linux dağıtımlarının buluşma noktası olan Distrowatch'da üç yıl öncesinde %60ların üstünde olan MSIE kullanımının ise günümüzde %25'in altına düştüğü belirtilmekte ve bir değişiklik yapmanın zamanı geldiği vurgulanmakta.
Rage Against The Machine'in Guerilla Radio'su aklıma geldi.

It has to start somewhere,
It has to start sometime.
What better place than here,
what better time than NOW?

Hamburgerimden Spyware Çıktı

butch

Fazlamesai.net'e soralım: Hala mı Napoleon Bonaparte söylemleri?

cbc

Google. Günümüzün ya da asrımızın devi, big brother, herşeyi gören göz.

Google, maddi gücü yüksek olduğundan firmaların yetenekli çalışanlarını toplayıp duruyor. En kötü olasılık sözleşme şartlarında geçen maddi değeri ödemek olacağından, gerekirse onu da ödeyip, mesela 2 kat maaş ile bünyesine herkesi topluyor ya da toplayabilir. Peki ya sizin çalıştığınız yere tek bağınız para mı? Bildiğiniz ve sevdiğiniz bir ortamı bilmediğiniz ve sevmeme olasılığınız olacak bir ortam ve maddiyat için terketmek ne kadar doğru?

Kâtibim: ASCII dosyanızı MP3 yapın (abc ve mp3 ilişkisi)

misafir

Kâtibim türküsünün piyano ile 'çalınmış' kısa bir versiyonunu mp3 çalarınızda dinlemek ister misiniz? Hayır, size mp3 indirebileceğiniz bir link vermeyeceğim. Bu yazıdan kopyalayıp yapıştırarak oluşturacağınız kısa bir metin dosyasını ve bazı programları kullanarak söz konusu mp3'ü nasıl oluşturabileceğiniz anlatacağım.