Kategori arşivi: Genel Kültür

Turing Bütünlüğü(Turing Completeness)

Turing Bütünlüğü(Tamlığı) bilgisayar bilimlerinde çok önemli bir notasyondur. Bir programlama dili Turing Bütünlüğünü sağladığını söylüyorsa Turing Makinası ile tasarlanabilen tüm hesaplama işlemlerini yapabilir demektir.  Zaten Turing Makinasının kendisi herhangi bir şeyin “hesaplanabilir” olup olmadığı gösterebilmek için icat edildi. Makina, çeşitli emirleri okuma, yazma,  bellekte saklama gibi ilkel işleri yapar.  Zaman içinde bir çok çalışma Turing makinasının gerçek dünya hesaplamaları için hemen hemen aynı modeller ortaya koydu. İlk yaklaşıma göre, eğer hesaplamanın Turing makinası ile yapılamayacağı kanıtlanırsa hiçbir hesaplama cihazının bu işlemi yapamayacağını varsayabiliriz. Diğer taraftan sistem basit Turing makinası emirleri ile tanımlanabiliyorsa bu işlem “Turing Bütünlüğü” içeriyor deriz ve bilgisayarlar ile bu hesaplamayı yapabiliriz.

Turing Tamlığına sahip diller:

Genel olarak tüm programlama dilleri:

Prosedürel programlama dilleri; CPascal.
Object-oriented diller; JavaSmalltalk veya C#.
Çok Paradigmalı diller; AdaC++Common LispObject PascalPythonR.
Fonksiyonel diller; Lisp ve Haskell.
Deklaratif diller;  XSLT
Mantıksal programlama dilleri;Prolog.

Turing Tamlığına sahip oyunlar:

Bonus:

Turing Tamlığına sahip kripto parabirimi:

Kaynak: wikipedia,  stackoverflow

Loading

Facebooktwitterredditpinterestlinkedinmail

Bilgisayar ve Zeka – A.M. Turing – 2

2. Yeni Problemin Eleştirileri ( Critique of the New Problem)

Önceki yazıda belirttiğimiz gibi sorunun yeni formundaki cevabı ne olacaktır ? Bazılarınız soruabilir : “Bu yeni öneri sorgulamaya değer mi?

Yeni problemin ilk soruya göre avantajı olayın fiziksel ve zihinsel sınırları hakkında oldukça belirgin bir çizgi çizmemizi sağlar. Hiç bir kimyager veya mühendis insan derisinden ayırt edilemeyecek bir madde üretemez. En azından şimdilik. Bu buluş yapılsa bile düşünen bir makine yapmanın en önemli adımı ona insan eti giydirmek olmayacaktır. Belirlediğimiz kurallara göre sorgulayıcının yarışmacıları görmesi, duyması, dokunması yasak olduğundan bu durum sorun teşkil etmeyecektir. Önerilen kriterlerin diğer avantajları ise aşağıdaki soru cevaplar ile gösterilebilir. Örneğin;

S: Forth Köprüsü ile ilgili bana bir mısra yazar mısın?
C: Beni geç. Ben asla şiir yazamam.

S: 34957 + 70764 toplamı kaçtır?
C: (30 Saniye bekler ve cevap verir : 105621) 

S: Satranç oynar mısın?
C: Evet.

S: Sadece K1(e1)’de şahım var. Senin ise sadece K6(e3)’da şahın ve R1(h8)’de kalen var. Hamle sırası sende.  Hamlen ne olurdu ?  (Notasyon İngiliz Notasyonu -K1,K6,R1 etc. )

C: 15 Saniye durakladıktan sonra Kale,R-R8 (h8->h1) MAT.

Soru ve cevaplardan görülebileceği gibi bu oyun herhangi bireyi dahil ederek oynanabilecek bir oyun. Makineyi güzel olmamasından dolayı cezalandırmak istemeyeceğimiz gibi bir insanı da uçakla olan  yarışı kaybetmesinden dolayı cezalandıramayız. Örnekteki gibi yetenek dışı şeylerden oyuncular sorumlu olmayacaktır. Oyuncular isterse kendi cazibeleri, kahramanlıkları, güçleri hakkında övünebilirler ancak sorgulayıcı bu konular hakkında somut deliller talep edemez.

Burada kuralların makine açısında oldukça ağır olduğunu düşünebilirsiniz. Eğer insan makine taklidi yapmaya çalışırsa aritmetik işlemlerdeki yavaşlığıyla ve tutarsızlığıyla kendini kolaylıkla ele verecektir. Ya makine düşünce olarak tanımlanacak bir şey yaparsa  veya bir insanın yaptığı şeylerden çok daha farklı şeyler yapabilirse bu durumda ne olacak ? Bu itiraz daha güçlüdür, ancak eğer makine gerçekten böyle bir şey yapabilirse zaten taklit etme oyununun hakkını vermiş demektir ki bu konuyu sorun etmeye gerek kalmaz.

Taklit etme oyununu oynarken makine için en iyi stratejinin insan davranışlarının taklit etmekten daha farklı bir şey olacağını düşünebiliriz. Bu geçerli olabilir ancak bence çok güçlü bir etki oluşturmayacaktır. Sonuçta burada oyun teorisine göre hareket etmeyeceğine göre en iyi strateji insanın verebileceği doğal cevapları üretebilmektir.

Makalenin tam versiyonuna buradan ulaşabilirsiniz.

Loading

Facebooktwitterredditpinterestlinkedinmail

Bilgisayar ve Zeka – A.M. Turing – 1

Merhaba,

Alan Turing’in 1950 yılında yazdığı  yakın zamanda okuduğum ve oldukça ilgimi çeken “Computing Machinery And Intelligence” makalesinden bahsedeceğim. Makale uzun olduğu için küçük küçük parçalar halinde yazacağım. Makalenin orijinal versiyonuna buradan ulaşabilirsiniz.

1. Taklit Etme Oyunu ( The Imitation Game )

Bu soruyu irdelemenizi öneriyorum, “Makineler düşünebilir mi?”.  Sorunun cevabı öncelikle “makine” ve “düşünce” terimlerinin tanımından geçiyor. Tanımlar kelimelerin normal kullanımını olabildiğince yansıtacak şekilde incelenip cevaplanabilir fakat bu tutum oldukça tehlikelidir.  “Makine” ve “düşünce” kavramları yaygın olarak kullanıldığı şekilde açıklanarak soruya cevap verilecek olursa “Makineler düşünebilir mi” sorusunun cevabına ulaşmak zordur. Soruya istatistiki bir şekilde yaklaşmakta yine bu nedenden dolayı absürd olacaktır. Soruyu bu şekilde tanımlamak yerine sorunun anlamını bozmayacak ve birbiriyle çelişki içermeyecek şekilde soruyu değiştirelim.

Problemi yeni şekliye “taklit etme oyunu” olarak ele alabiliriz. Bu oyun, bir erkek(A), bir bayan(B) ve sorgulayıcı(C) (herhangi bir cinsiyetten olabilir) olmak üzere üç kişi tarafından oynanan bir oyundur. Sorgulayıcı A ile B kişilerinin arasında durur ve  kimin erkek kimin bayan olduğuna karar vermeyeçalışır. Onları X ve Y etiketiyle tanır ve oyun sonunda “X, A’dır, Y, B’dir” veya “X, B’dir, Y, A’dır” diye karar verir. Sorgulayıcı (C), A ve B’ye aşağıdaki gibi sorular yöneltebilir:

C : X, Bana saçının boyundan bahseder misin?

Şimdilik X’in A olduğunu varsayalım.  Bu durumda A cevaplayacaktır. A’nın amacı C’ye yanlış cevabı verdirmektir. Bu durumda aşağıdaki şekilde cevap verebilir:

“Örülü ve 22 cm boyunda saçlarım var.”

Ses tonlarının C’ye yardımcı olmaması için cevaplar yazılı bir şekilde verilmelidir. Oyunda B’nin amacı ise yargılayıcıya yardım etmektir. B için ise en iyi strateji dürüst cevaplar vermek olabilir. Böylelikle B ” Bayan olan benim, onu sakın dinleme” diye cevap verebilir. Fakat aynı şeyleri A da söyleyebilir.

Şimdi asıl soruya gelelim. Bu oyunda A’nın yerine makine geçerse ne olurdu ? Yargılayıcı yanlış cevap verebilir miydi? Bu soru aslında “Makineler düşünebilir mi” sorusuyla aynıdır.

Loading

Facebooktwitterredditpinterestlinkedinmail

Gözlemlenebilir Evrenin İlk Haritası

Merhaba,

Pablo Carlos Budassi isimli Güney Amerikalı ressam NASA ve Princeton Üniversitesi’nden aldığı verileri kullanarak evrenin aşağıdaki ilginç ama bir o kadar da doğru haritasını çıkardı. Sanatçı gözlemlenebilir evreni tek bir kareye sığdırmayı başardı. Merkezinde Dünya’nın konumlandığı haritada 3 milyon gökcismi bulunuyor. Sanatçı sadece galaksi, yıldız ve gezegenleri değil büyük patlamadan kalan plazma halkasını da haritaya dahil etmiş.

Resme tıklayarak büyük haline erişebilirsiniz.

Gözlemlenebilir Evren

Kaynak : Popular Science

Loading

Facebooktwitterredditpinterestlinkedinmail