• benzer bir konu bir infinite state machine olarak evren başlığında incelenmiş ancak ben farklı bir açıdan yaklaşacağım. böylesi daha uygun.

    önce kafamızdaki bilgisayar kavramı netleştirmek gerek. bilgisayar illa kucağımızda tuttuğumuz dizüstü ya da işte kullandığımız masaüstü aletler olmak zorunda değil. bilgi işleyen her sistemi bir bilgisayar olarak düşünebiliriz. abaküs, insan beyni, bilardo masası (!) ve tabi ki günümüzdeki elektronik aletler. bunların hepsi bilgi işleyen aletlerdir ve hesap kuramı çerçevesinde bilgisayar olarak düşünülebilirler. ve işin güzeli turing makinesi dediğimiz matematiksel bir model de bugüne kadar inşa edebildiğimiz ve inşa etmeyi hayal edebildiğimiz tüm bilgisayarların işlem gücünün sınırlarını net bir şekilde ortaya koyuyor. bellek ve işlem hızı gibi ayrıntıları bir kenara koyarsak elimizdeki en güçlü bilgi işleyen alet modeli turing makinesi ve kullandığımız tüm bilgisayarlar da böyle evrensel bir turing makinesi tarafından simüle edilebilir durumdalar. yani bir bilgisayarın yapabilip de evrensel turing makinesinin yapamayacağı bir şey yok diyebiliriz.

    peki inşa etmeyi hayal edebildiğimiz bilgisayarları sınırlayan şey nedir? bu evrendeki fizik yasaları. hem matematiksel bir model olarak ortaya konan turing makinesi hem de bu evrenin bize dayattığı fizik yasalarının işlem gücü olarak aynı sınırları çizmesi tesadüfün de ötesinde aslında turing makinesinin bu evrenin bazı sınırlamalarını da yakaladığını gösteriyor. işin içine kuantum olayları girdiğinde nelerin olduğu, kuantum turing makinesinin hesap kuramı açısından neleri değiştirdiği veya değiştireceği bu tartışmanın dışında. bir kuantum bilgisayarı olarak evren henüz üzerinde ahkâm kesemeyeceğim bir konu.

    eğer newton fiziğine bağlı kalırsak, bu evrende gerçekleşen hemen her olayı, yine newton fiziği kurallarına dayanılarak gerçeklenen bir turing makinesinde simüle edebileceğimizi görürüz. bellek ve hız konusunu ayrıntı olarak kabul ettiğimizi, bizi ilgilendiren tek şeyin hesaplanabilirlik olduğunu hatırlayalım. klasik fizik kurallarına göre gerçekleşen bir olay yine klasik fizik kurallarına göre işleyen bir turing makinesinde "hesaplanabilir".

    bu bakış açısı bize ne getiriyor? bilgisayar bilimcilerinin üzerinde konuşmayı sevdikleri pek çok hesap probleminin aslında evrende fiziksel karşılıklarının da bulunduğunu görüyoruz. pek çok optimizasyon probleminin hemen her saniye doğada gerçekleşen olaylarda kendilerine çözüm bulduğunu görüyoruz. aslında fizikçilerin elinde hesap kuramı açısından çok değerli bilgiler var ve iki alana da hakim insan sayısı ne kadar artarsa iki bilim dalının birbirine attığı paslar da o kadar artacaktır. fizikçilerin de bu evrenin temel algoritmasını anlamak için çalışan deneysel hesapçılar olduğunu iddia etmek o kadar da fütursuzca değil :)

    (bkz: turing machine)
    (bkz: theory of computation)
  • turing makinesinin sınırları ile bu evrenin sınırları arasındaki olası farklara dayanan hipotetik bir hesap modeli için:
    (bkz: hypercomputation)
    nt christ'e teşekkürler.
  • ben bunu daha önceden irdelemişim zaten:
    (bkz: hesap/@fotosipsak)
hesabın var mı? giriş yap