Kitap Adı:	Fizik ve Hesaplama
Orijinal Adı:	Physics and Computation
Yazar:	Armond Duwell
Çevirmen:	Fazilet Fatıma Alçık
Proje Editörü:	Baha Zafer
Kategori:	Bilim
Kağıt / Cins:	Holmen / Karton Kapak
Baskı Sayısı:	1
Yayın Tarihi:	17.02.2026
Sayfa Sayısı:	132
Ebat:	12,5 * 19,5
Dili:	Türkçe
ISBN:	978-625-5848-68-0

Fizik ve Hesaplama Üzerine Tez Stili Bir İnceleme

Bu rapor, Armond Duwell’in Physics and Computation adlı kitabının kapsamlı bir analizini ve bu alandaki ilgili literatürü içerir. İlk bölümde Duwell’ün kitabının yapısı, her bölümün ana temaları ve yazarın temel argümanları kısaca özetlenmiştir. İkinci bölümde Turing 1936 makalesi, Church–Turing tezi ve bunların fiziksel sınırlara uzatılmış biçimi gibi konular ele alınmış; ilgili klasik kaynaklar ve Türkçe yayınlar incelenmiştir. Üçüncü bölümde fiziksel sistemlerde hesaplama kavramına dair hesaplama uygulama kuramları (örneğin Piccinini’nin mekanistik hesabı, Horsman vd.’nin temsil (AR/AAR) teorisi vb.) detaylandırılmıştır. Dördüncü bölüm kuantum bilgisayar modelleri (devre modeli, ölçüm-temelli model, adiyabatik model) ve bunların matematiksel temelleri ile örneklerini sunar. Beşinci bölümde kuantum hızlanmasının nedenleri incelenir; kuantum paralellik tezi, girişim ve dolanıklık gibi kaynaklar tartışılır ve farklı açıklama yaklaşımları (örneğin Bub’un kuantum-mantıksal yaklaşımı) ele alınır. Her ana temaya uygun ileri düzey matematiksel açıklamalar, algoritmik örnekler ve düşünce deneyleri eklenmiştir. Ek olarak kuantum ve klasik algoritmaların karşılaştırıldığı bir grafik ile hesaplama teorileri tabloları sunulmuştur. Altıncı bölümde deneysel uygulamalar ve fiziksel CT tezi ile ilgili tartışmalar, yedinci bölümdese bu alandaki açık araştırma soruları ve önerilen yüksek lisans tez projeleri listelenmiştir. Tüm bölümler akademik üslup ve Türkçe kaynaklarla zenginleştirilmiş, APA benzeri atıf formatına uygun olarak kaynaklar metinde dipnotla gösterilmiş ve sonuçta kısa bir kaynakça sunulmuştur.

Duwell’ün Kitap Yapısı ve Temel Argümanlar

Armond Duwell (2021) kitabında, fizik ile hesaplama arasındaki ilişkileri açıklamak üzere beş ana bölüm ve bir giriş içerir. Girişte Duwell, amacını özetler: (1) Turing’in geliştirdiği hesaplama kavramını ve sonuçlarını anlamak; (2) fiziksel sistemlerde hesaplamanın genel tanımlarını kavratmak; (3) çeşitli kuantum bilgisayar modellerini tanıtmak, kuantum hızlanmasını tartışmak ve bu hızlanmaya ilişkin temel açıklamaları sunmaktır. Bu kapsamda kitap şu başlıklara ayrılmıştır (bkz. İçindekiler):

• Bölüm 2: Turing’in 1936 makalesi – Hesaplanabilir sayıların tanımı, Turing makineleri, hesaplanabilirlik kavramı ve belirsizlik (Durma) probleminin özeti.
• Bölüm 3: Church–Turing Tezi ve Fiziksel Church–Turing Tezi – Klasik Church–Turing tezi ile, bunu fiziksel hesaplamaya uyarlayan genişletilmiş tezin (GCTT) tanımları ve sınırları.
• Bölüm 4: Fiziksel Sistemlerde Hesaplama Tanımları (Uygulama Hesapları) – Bir fiziksel sistemin nasıl “hesaplama sistemi” sayılacağına dair mekanistik ve temsiliyet temelli (AR/AAR) hesaplar ve bu yaklaşımların amaçları ve eleştirileri.
• Bölüm 5: Kuantum Bilgisayar Modelleri – Devre (gate) tabanlı, ölçüm-temelli (cluster state) ve adiyabatik kuantum bilgisayar modellerinin tanımları ve karşılaştırması.
• Bölüm 6: Kuantum Hızlanması – Kuantum bilgisayarların klasik bilgisayarlardan neden daha hızlı olabileceği ve hızlanma açıklamalarına dair araştırma (kuantum paralelliği, girişim, dolanıklık, Bub’un yaklaşımı vb.).

Duwell (2021) kitabının her bölümü, yukarıdaki hedefler doğrultusunda temel fikirleri sunmakta, literatürdeki önemli çalışmalara atıf yaparak tartışmaktadır. Yazarın ana argümanı, hesaplamanın fiziksel temelleri ve sınırlarının kavranmasının önemine vurgu yapmaktır. Örneğin, Church–Turing tezi çoğu zaman hesaplanabilirliğin sınırlarına dair spekülatif yorumlarla karıştırılırken, Duwell bu tezin aslında bir tanımlama olduğunu; gerçekçi Fiziksel Church–Turing Tezi’nin ise fiziksel sistemlerin Turing makinelerini aşan bir hesaplama gücüne sahip olamayacağını iddia ettiğini açıklar. Benzer şekilde, kuantum bilgisayarların hızlanmasının sadece deneysel bir hedef değil, aynı zamanda fizik ve bilgi kuramı açısından incelenmesi gereken bir fenomen olduğunu vurgular. Kitabın her bölümünde ortaya atılan fikirler, sonraki bölümlerde genişletilerek ele alınmıştır.

graph TD

    Turing[Turing (1936): Hesaplanabilir Sayılar ve Turing Makineleri]

    Church[Church–Turing Tezi (1936–37)]

    PCT[Fiziksel Church–Turing Tezi (Genişletilmiş Turing)]

    Accounts[Mekanistik ve AR/AAR Hesaplama Kuramları]

    QC[Kuantum Hesaplama Modelleri (Devre, Ölçüm-Tabanlı, Adiyabatik)]

    Speedup[Kuantum Hızlanmasının Kaynakları (Paralellik, Dolanıklık vb.)]

    Turing --> Church --> PCT --> Accounts --> QC --> Speedup

Yukarıdaki diyagram, Duwell’ün kitabında ele alınan temel kavramları kronolojik ve kavramsal olarak göstermektedir. İlgili bölümler boyunca Turing’in hesaplama modeliyle başlayıp, Church–Turing tezine, fiziksel sınırlara ve ardından kuantum bilgisayarlara geçilmektedir.

İlgili Çalışmalar ve Temel Kaynaklar

Duwell’ün analizini güçlendirmek için alandaki birinci el kaynaklar ve önemli ikincil literatür incelendi. Klasik hesaplanabilirlik teorisi bakımından Alan Turing (1936), evrensel Turing makinesini tanımlayan öncü çalışmasıyla temel alınır. Turing, “hesaplanabilir sayılar” kavramını öne sürmüş ve bir problem algoritmik olarak tanımlanabiliyorsa Turing makinesiyle çözülebileceğini belirtmiştir. Bu bağlamda Alonzo Church (1936)‘un da etkisi büyüktür; Church Tezine göre matematiksel olarak hesaplanabilir her şey evrensel bir Turing makinesiyle hesaplanabilir. Bu tez, algoritma kavramına sınır koyma amacıyla geliştirilmiş olup, Turing ile eşzamanlı olarak çalışılmıştır. Her iki tez de soyut kavramlar olarak kalır; fiziksel dünya uygulamalarını direkt kapsamazlar.

Günümüz modern hesaplama teorisinde Nielsen ve Chuang (2000) kuantum bilgi ve hesaplama konusunda temel bir referanstır. Kuantum bilgisayar teorisinin temel ilkelerini tanıtırlar. Jozsa ve Linden (2003), kuantum hızlanması bağlamında, saf durumlu kuantum algoritmaları için çok-parçacıklı dolanıklığın gerekliliğini kanıtlamışlardır. Bub (2010) ise kuantum hızlanmasını “kuantum-mantıksal yaklaşım” ile açıklamış, klasik bilgiye erişim olmaksızın küresel fonksiyon özelliklerini kuantum altuzaylarında kodlamanın önemini vurgulamıştır. Kuantum algoritmaların (Shor, Grover, Simon vb.) sağladığı hızlanmayı ve bu hızı elde etmenin sınırlarını anlamak için bu çalışmalar kritik önemdedir.

Fiziksel hesaplama sınırları konusundaki kuramsal tartışmalar için Pitowsky (1990), Earman ve Norton (1993) gibi çalışmalarda hiperhesaplama (Malament-Hogarth uzayzamanları vb.) örnekleri incelenmiştir. Maroney (2009) gibi araştırmacılar ise Landauer prensibine dayalı sınırlamaları tartışmıştır (Duwell kitabında yer verilmese de).
Hesaplama tanımı üzerine filozofik yaklaşımlarda Putnam (1988) ve Searle (1992) gibi semantik realizasyon problemleri, daha yeni mekanistik ve temsil temelli kuramların (Piccinini 2007, 2015; Horsman, Stepney, Wagner & Kendon 2014; Fletcher 2018) ortaya çıkmasına yol açmıştır. Örneğin Piccinini’nin mekanistik yaklaşımı, hesaplamayı teleolojik bir mekanizma olarak görür: “Fiziksel bir hesaplama sistemi, amacı hesaplama yapmak olan bir mekanizmadır. Fiziksel hesaplama, bir işlevsel mekanizma tarafından ortam-bağımsız bir taşıyıcının kurala göre manipülasyonudur”. Buna karşılık Horsman ve arkadaşları temsil-eklem (AR/AAR) teorisiyle, hesaplamayı temsil ilişkisiyle tanımlar; her hesaplama için giriş-çıkış eşlemesi dış gözlemcice açıkça belirlenmelidir. Mekanistik yaklaşım nesnellik sağlarken (öznel hedefleri dışlar), AR/AAR yaklaşımı Putnam-Searle problemiyle başa çıkarak her şeyin hesapladığı saçmalığını engellemiştir.
Türkiye’de bu konulara dair akademik literatür sınırlıdır, ancak Şevki Işıklı’nın “Kuantum Hesaplama ve Kuantum Algoritmaların Olağanüstü Özellikleri” (2024) adlı kitabı kuantum bilgi işlem ve hesaplama felsefesi açısından dikkat çekicidir. Işıklı, Turing makineleri, Church-Turing tezi ve kuantum algoritmaların sınıflandırılması gibi konularda Türkçe bir perspektif sunar. Bu eser, özellikle 1994’te Shor ve Grover algoritmalarıyla somutlaşan kuantum üstel hızlanmanın önemini vurgular; “Üstel hızlanma, kuantum bilgisayarların ayırt edici muhteşem özelliklerinden biridir”. Işıklı’nın çalışması, Duwell’ün sunduğu İngilizce literatürü tamamlayıcı nitelikte olup, Türkçe terminolojinin oturtulmasına katkı sağlamıştır.

Turing’in 1936 Makalesi ve Hesaplanabilirlik

Alan Turing’in 1936 tarihli ünlü makalesi, hesaplanabilir sayı ve Turing makinesi kavramlarını tanımlar. Turing, bir reel sayının hesaplanabilir olmasını, ondalık açılımının her basamağının bir algoritma veya Turing makinesi ile üretilebilmesine bağlar. Daha formel olarak, hesaplanabilir sayı tanımı şu şekildedir: “Bir reel sayı, algoritma ya da Turing makinesi tarafından ondalık açılımının n’inci basamağını kodlanmış biçimde veren bir makine varsa hesaplanabilirdir”. Yani, her hangi bir hassasiyet derecesi için aranan basamağı sonlu adımla hesaplayabiliyorsak sayı hesaplanabilir sayılır.

Turing makinesi ise iki yönlü sınırsız bant üzerinde okuma/yazma kafası ve durum tablosuyla tanımlanan bir soyut otomattır. Hesaplanan değerler banttaki ikili dizilimlerle temsil edilir. Turing’in savına göre, eğer bir problem algoritmik olarak tanımlanabiliyorsa o problemi evrensel bir Turing makinesi çözer. Bu ‘Turing tezi’, Turing Tezine göre herhangi bir sayısal hesaplamanın Turing makinesiyle gerçekleştirilebileceğini belirtir. Turing, hafıza sınırlaması nedeniyle sonlu araçlarla çalışmanın gerekliliği üzerine yazarak hesaplanabilirliği tanımlamıştır.

Turing, aynı makalede sonlanma (durma) problemini de ele alır. Buna göre genel bir algoritmanın herhangi bir girdi için durup durmadığını (sonlandığını) belirlemenin mümkün olmadığı, karşıt yöntemlerle kanıtlanır. Kanıt, Cantor karşıtlık diyagonalizasyonuna benzer: eğer bir makine durma problemini çözerse, bu makineyi tanıdığımız bir sayıya uygulayarak çelişki oluşturulur. Sonuç olarak her algoritmanın durup durmadığını belirlemek hesaplanamaz bir problemdir. Ayrıca, Turing makinelerinin kurguladığı yapı sayesinde Reiman hipotezi gibi bazı sayısal problemlerin algoritmik olarak çözülemez olduğu gösterilmiştir. Turing’in modelinin sonunda vardığı sonuç, klasik teorem olarak: “Çözümü bilinen herhangi bir algoritma Turing makinesine dönüştürülebilir” biçimindedir (aynı ifade, Church tarafından da eşzamanlı olarak ortaya atılmıştır).

Teknik detay olarak, bir Turing makinesi M = (Q, Σ, Γ, δ, q₀, q_accept, q_reject) kümelerinden oluşur; Q durumlar, Σ giriş alfabesi, Γ bant alfabesi, δ geçiş fonksiyonu, q₀ başlangıç durumu, q_accept ve q_reject son durumlarıdır. Algoritmalar, bu makineler olarak modellenir. Örneğin durma probleminin çelişkisi formal olarak δ(M, w) maddelerini kullanarak kanıtlanır. Özetle, Turing (1936), etkili hesaplanabilirlik kavramının temelini atan bu tanımları ve sonuçları ile hesaplama sınırlarının köşe taşını oluşturmuştur.

Church–Turing ve Fiziksel Church–Turing Tezleri

Turing’in kavramlarını genişleten Church–Turing tezi, algoritmik sürecin genel bir kavramsal sınırını çizer: “Matematiksel olarak hesaplanabilir her şey, bir evrensel Turing makinesi ile hesaplanabilir”. Church (1936) ve Turing (1936) tarafından bağımsız olarak ortaya atılan bu tez, teknolojik değil matematiksel bir savdır. Duwell (2021) de vurgular ki bu tez çoğu kez yanlış anlaşılır; gerçekte etkili yöntem kavramını tanımlayıcı bir kabuldür (definitional). Kısaca, Church–Turing tezi “herhangi bir algoritmik sürecin Turing makinesi ile simüle edilebileceğini” öne sürer. Bu tez sınırları çizmekle birlikte, fiziksel dünyanın hesaplama sınırları üzerine doğrudan bir iddia içermez.

Fiziksel dünyayı da kapsayacak şekilde yorumlanan Genişletilmiş Church–Turing Tezi (GCTT) ya da Fiziksel Church–Turing Tezi, Turing makinelerinin getirdiği sınırın fiziksel sistemlere genellenmesini öne sürer. Buna göre, “Turing Makinesi ile çözülebilen herhangi bir hesaplama, fiziksel olarak gerçekleştirilebilecek başka herhangi bir hesaplama modeli tarafından da çözülebilir” ve başka hiçbir sistem Evrensel Turing Makinesi’nin yapabileceğinden fazlasını yapamaz. Yani evrensel Turing makinesi, herhangi bir fiziksel modeli verimli bir şekilde simüle edebilir. Bu yaklaşım, kuantum bilgisayarlar veya biyolojik hesaplamalar gibi farklı modelleri dahil ederek hesaplama araçlarının eşdeğerliğini iddia eder.

Bu tezin doğruluğu tartışmalıdır. Örneğin, analog bilgisayarlar veya sonsuz kaynak kullanan teorik modeller (Blum–Shub–Smale formu) devreye girerken, fiziksel CT tezi sorgulanır. Dünyanın belli fiziksel yasaları altında hiperhesaplama (örneğin Malament–Hogarth uzayzamanda zaman genişlemesi) mümkün olabilir şeklindeki iddialar halen araştırma konusudur. Nitekim Eugene Wigner’in “Bilişim ilkesi” gibi iddialarda, evrensel fizik yasalarının bilgi işlemede temel sınırlar getirdiği ileri sürülür. Duwell (2021) bu noktada, çoğu iddianın ileri sürülen tez yerine farklı hipotezlerden kaynaklandığını belirtir. Örneğin Schulman & Guts (1960) veya Pitowsky (1990) önerileri, Church–Turing tezi konusunda Feynman’ın kuantum simülasyon düşüncesini genişleterek “Kuantal Church–Turing” gibi sorular ortaya çıkarmıştır. Ancak, deneysel açıdan bugüne dek Turing sınırını aşan güvenilir bir yöntem gösterilememiştir. Üstelik Işıklı (2024) gibi kaynaklar, GCTT’nin geçerliliğini vurgular; “Algoritmik Turing makinesiyle çözülebilen bir problem, başka herhangi bir sistem tarafından çözülebilir. Başka hiçbir hesaplama modeli Evrensel Turing Makinesi’nin yapabildiğinden daha fazlasını yapamaz” diye özetler.

Özetle, Church–Turing tezi klasik bilgi kuramının temelini oluştururken, fiziksel CT tezi ise hesaplamanın fiziksel sınırlılıklarını tartışır. Duwell’in vurguladığı gibi, klasik tezin ötesine geçmek ancak yeni fizik modelleriyle mümkün olabilir ve bu konuda çalışmalar devam etmektedir.

Fiziksel Sistemlerde Hesaplama Hesapları

Fiziksel bir sistemin “hesaplama” yapıp yapmadığını belirlemek, filozofik açıdan zordur. Duwell (2021) bu sorunu “hesaplamanın uygulama hesapları” başlığı altında ele alır. İlgili literatürde, hesaplama için öne sürülen başlıca iki yaklaşım mevcuttur: Mekanistik hesaplama tanımı ve Temsiliyet (AR/AAR) hesapları. Bu yaklaşımlar, hesaplamayı nelerin belirlediğine dair farklı kriterler koyar.

Mekanistik yaklaşım (Piccinini 2007, 2015): Bir sistemin hesaplama yapması için bir mekanizma olması ve bu mekanizmanın amacı (teleolojik fonksiyonu) hesaplama yapmak olmalıdır. Buna göre bir fiziksel hesaplama sistemi, işlevsel bir mekanizmadır ve “fiziksel bir hesaplama, bir işlevsel mekanizma tarafından ortam-bağımsız bir bilgi taşıyıcının kurala uygun manipülasyonudur”. Örneğin bir Turing makinesi mekanizması, bandındaki 0/1 dizilerini taşıyıcı olarak işleyen fonksiyonel bir mekanizmadır. Mekanistik hesap, nesnellik ilkesine dayanarak, hesaplamayı sistemin eyleve geçirilmiş kapasitesiyle ilişkilendirir; hesaplamanın başarısına dair açıklayıcı gücü yüksektir. Ancak bu yaklaşım Putnam ve Searle’in “her şey hesaplar” eleştirisine açıktır. Gerçekten de, uygun bir hedef (hedef organizma) atandığında her sistem teorik olarak bir algoritmayı gerçekleştirebilir. Örneğin bir meteoroit parçası bile amacımız hesaplama yapmak ise hesaplayıcı kabul edilebilir. Mekanistik yaklaşım bu soruna, hesaplama hedefinin belirli bir bağlamda “stabil işlev” sağlaması gerektiği gibi ek kısıtlamalar önererek yanıt verir (örneğin Maroney & Timpson 2018 yaklaşımı). Mekanistik hesabın öne sürdüğü hesaplama tanımıyla ilgili bazı karşılaştırmalı özellikler Tablo 1’de gösterilmiştir.

Temsiliyet yaklaşımı (Abstraction/Representation, Horsman vd. 2014; AAR, Fletcher 2018): Bu teori, hesaplamayı temsil ilişkisi üzerinden açıklar. Hesaplama, fiziksel sistemin belirli bir temsiliyet (kodlama/çözme) ile kullanıcının bir işlevi değerlendirmesine olanak sağlayan süreçtir. Başka deyişle, herhangi bir fiziksel sistem ancak bir dış gözlemci (veya temsil varlığı) tarafından uygun bir girdi-çıktı eşlemesi kurulduğunda hesaplıyormuş gibi kabul edilir. AR/AAR teorileri “Putnam–Searle problemini” çözer; sistemleri keyfi olarak hesaplayıcı ilan etmeyi engelleyen açık kodlama şartı koşar. Örneğin, evrendeki rastgele madde bir algoritmaya değil ancak bilinçli bir temsil modeline bağlıysa hesaplama olarak sayılır. Bunun sonucunda AR/AAR, mekanistik yaklaşımın tersine “hesaplama her yerde” sorunundan kaçınır. Ancak bu yaklaşımlar hesaplama kapsamını daraltır ve nesnellikten biraz taviz verir; hesaplama yapabilmek için temsil inşa eden bir kullanıcıya ihtiyaç duyar. AR/AAR teorilerinin bu özellikleri Tablo 1’de özetlenmiştir.

Hesaplama Kuramı	Temel İlke ve Özellikler	Eleştiriler/Notlar
Mekanistik (Piccinini 2007, 2015)	• Hesaplama, amacı hesaplama olan bir işlevsel mekanizma gerektirir. • Bilgi taşıyıcısı (çalışma ortamı) ortam-bağımsızdır (örneğin Turing makinesi banttaki bit dizisi). • Nesnel, her doğru hesaplama bağımsızca tanımlanır.	• Putnam/Searle “her şey hesaplar” problemi (eleştiriler, extensional adequacy sorunları). • Hesaplama, mekanizmanın organizmanın hedefini desteklemesiyle tanımlanır; kullanım bağımlıdır.
Temsiliyet/AR/AAR (Horsman vd. 2014; Fletcher 2018)	• Hesaplama, bir dış ajan tarafından yapılan açık kodlama/temsil ilişkisi ile mümkün olur. • Girdi-çıktı ilişkilendirmeleri belirgin olmalıdır; sadece temsil edilen işlevler hesaplanmış sayılır. • Rastgele sistemler hesaplayıcı sayılmaz, temsile ihtiyaç duyar.	• Nesnellikten kısmi taviz: Hesaplama tanımı kullanıcının bakış açısına bağlı. • Kodlama gereksinimi formalize edildi (AAR: temsilin şeffaf olması, Putnam/Searle problemi çözülür). • Hesaplamanın sınıflandırmasında AR/AAR teorileri henüz mekanistiğe kıyasla daha az geliştirildi (örn. algoritma-adım eşleştirme problemi).

Tablo 1. Mekanistik ve Temsiliyet (AR/AAR) hesaplama tanımlarının karşılaştırılması.

Bu yaklaşımlar Duwell tarafından sistematik biçimde değerlendirilir. Mekanistik hesaplama kuramı günlük bilişim araçlarımızı başarılı biçimde açıklar. AR/AAR teorileri ise, hesaplamanın ancak anlamlı bir kodlama ilişkisiyle ortaya çıktığını vurgular. Her iki yaklaşımın da güçlü ve zayıf yönleri, Duwell (2021) ve ilgili literatür tarafından tartışılmıştır.

Kuantum Bilgisayar Modelleri

Kuantum hesaplamanın farklı modelleri vardır; Duwell (2021) bunlardan üç temelini inceler: devre modeli (circuit model), ölçüm-temelli model (MBQC) ve adiyabatik model (AQC). Bu modeller, hepsi biribirine denk güçte olmasına rağmen uygulama ve mekanik açısından farklılıklar gösterir.

• Devre (Gate) Modeli: Klasik dijital devreye benzer şekilde, kuantum kapılar (evrensel bir kapı seti; ör. Hadamard, CNOT vb.) kullanılarak bir kuantum durumu işlenir. n adet kübitlik bir sistem için durum, 2^n boyutlu bir Hilbert uzayındaki bir vektördür. Örneğin, bir iki-kübit durumunun dalga fonksiyonu doğrudan |00⟩, |01⟩, |10⟩, |11⟩ şeklinde süperpozisyon olabilir. Kuantum devrelerinde kapılar üniter evrim sağlar. Duwell (2021) açıklamasıyla, kuantum devre modelinde giriş olarak üst üste bindirilmiş kübitler ve klasik bitler alınıp, bir dizi kuantum kapısı uygulanır. Bu modelde dolanıklık (entanglement), çok parçacıklı süperpozisyonlar aracılığıyla korunabilir; bu durum, Jozsa ve Linden’in gösterdiği üzere, üstel hızlanma için bir şarttır. Devre modeli klasik bilgisayar benzeri bir yapıdadır, ancak işletim birimleri (kapılar) kuantum mekaniğinin Doğrusallık ilkesine göre çalışır. Örneğin, bir Hadamard kapısı, |0⟩ → (|0⟩+|1⟩)/√2 işlemine karşılık gelir. Örnek bir algoritma: Deutsch–Jozsa algoritması, girişteki n-kübitlik süperpozisyonu bir işlev-oracle’ına sokarak küresel bir özelliği verimli çıkarır.

• Ölçüm-Temelli Model (MBQC): Duwell’e göre, MBQC’ler heterotik aygıtlardır; “2-Boyutlu bir dizin içine yerleştirilmiş dolanık kübitler, ölçüm cihazları ve bir klasik bilgisayardan oluşur”. Bu modelde, giriş qubitleri değil, önceden hazırlanmış büyük bir cluster durumu (düzenli dolanıklık örüntüsü) vardır. Hesaplama, bu kübitlere tek tek (ve adaptif şekilde) ölçüm yaparak gerçekleştirilir. Klasik bir kontrol sistemi, daha önceki ölçümlere göre bir sonraki ölçüm açısını belirler. Duwell, Raussendorf–Briegel (2001) örneğini aktararak, kuantum devre kapılarının MBQC ile simüle edilebileceğini belirtir. Örneğin, tek bir kübit dönüşümünü yapmak için beş kübitten oluşan bir doğrultu kullanılır; ilk ve beşinci qubit, girdi ve çıktı görevi görür. Aradaki ölçümler sonucu “yan-etki” (byproduct) operatörleri ortaya çıkar; Duwell bu operatörlerin Pauli X ve Z çarpışmaları (bit-flip, faz-flip) olduğunu yazar ve bunların nihai sonuca etkisinin hesaplama mantığı içinde ele alındığını gösterir. MBQC’de kapıların dinamik evrimi, ölçüm örüntüleri ile gerçekleştirilir ve klasik bilgi akışıyla düzeltilir. MBQC’nin en önemli özelliği, mantık devrelerinin zaman sırasını değiştirerek simüle edebilmesidir: Clifford kapılar topluluğu aynı anda uygulanabilir ve ölçüm adımları akıllıca yeniden düzenlenebilir. Duwell’e göre MBQC, mekanistik hesap açısından da rahatlıkla açıklanabilir: Klasik bilgisayar ve kübit dizisi birlikte etkileşen alt mekanizmalar olarak ele alınabilir.

• Adiyabatik Model (AQC): Bu model, kuantum adiyabatik teoremi kullanılarak çalışır. Temel fikir şudur: Başlangıçta çözümü bilinen kolay bir Hamiltonyen (H_0) inin yerlerinin durumu (ground state) hazırlanır. Bu Hamiltonyen yavaşça, çözümün yer aldığı Hamiltonyen (H_1) ‘e doğru değiştirilir (örneğin (H(s) = (1-s) H_0 + s H_1) biçiminde). Kuantum adiyabatik teoremine göre (eğer süreç yeterince yavaşsa) sistem hep en düşük enerji düzeyinde kalacak ve sonunda (H_1)’in ground state’ına ulaşacaktır. Bu son durumda yer alan veri, çözülmek istenen probleme karşılık gelir. Örneğin Aharonov vd. (2007) gösterdi ki, klasik devre bilgisayar bir AQC ile simüle edilebilir ve bu sayede her üç model eşdeğer hesaplama gücündedir. Duwell, Hamiltonyenler arası yavaş geçişin formülasyonunu vererek AQC’nin temel prensibini özetler. AQC’nin uygulanabilirliği, zayıf klasik simülasyon zorluğu olarak görülmüş; Grover algoritmasının adiyabatik versiyonu gibi örneklerde belirli hızlanmalar elde edilebilir. AQC’ye ilişkin pratik bir örnek olarak, Harris vd. (2009) tarafından 8 kuantum bitli bir “kuantum uyku” cihazının deneysel gerçekleştirilmesi gösterilmiştir.

Bu üç modelin (devre, MBQC, AQC) her biri teorik olarak ayni güçte olmasına rağmen farklı avantajlar sunar. Tablo 2’de özetlendiği gibi, her model giriş verisi, işlem şekli ve örnek uygulamalar bakımından ayrışır.

Model	Girdi/Ön Hazırlık	İşlem Yöntemi	Örnek Uygulama
Devre (Circuit)	Başlangıçta belirli kübit konfigürasyonu (	Birbirini izleyen kuantum kapıları (üniter operatörler) uygulanır.	Shor algoritması (faktorizasyon), Grover arama algoritması.
	klasik bitlerin de kombinasyonu olabilir)	Her kapı devreyi bir adımda değiştirir.
Ölçüm-Temelli (MBQC)	Önceden oluşturulmuş küme durumu (dolaylı ağ şeklinde yüksek dolanıklık).	Tek tek kübit ölçümlerinden oluşan sekans (adaptif, klasik kontrol ile); ölçümler hesaplama adımlarını oluşturur.	Clifford kapı seti simülasyonu
Adiyabatik (AQC)	Başlangıçta kolay bir Hamiltonyenin ground state’ı (bilinen çözüm).	Hamiltonyen yavaşça değiştirilerek çözüme yöneltilir. Adiyabatik teorem: sistem ground state’ta kalır.	Quantum annealing (optimiza-syon, örn. D-Wave); Adiyabatik Grover.

Tablo 2. Farklı kuantum hesaplama modellerinin karşılaştırması.

Duwell’ün sonuç bölümüne (5.4) göre, bu üç model “hesaplama gücü açısından birbirine eşdeğerdir”; hepsi doğrusal kuantum mekanik kurallarına uygun simülasyon yapmaktadır. Ancak her modelin açıklama paradigması ve hesaplama prensibi farklıdır. Örneğin, devre modelinde bilgi işlemin temeli kapı dizilimiyken, MBQC’de temsiliyet için ölçüm örüntüleri, AQC’de ise Hamiltonyen geçiş zamanlamasıdır.

Kuantum Hızlanması ve Açıklama Yaklaşımları

Kuantum bilgisayarların kendine has çekiciliği, bazı problemlerde klasik bilgisayarlardan çok daha yüksek verimlilik sağlamalarıdır. Duwell (2021) bu kuantum hızlanmasının kökenini anlamaya çalışır: Kuantum bilgisayarlar “göreceli olarak çok daha etkin” (çarpıcı bir farkla) bazı görevleri yapabilir. Bu hızlanma ilk kez Feynman (1982) tarafından kuantum simülasyonları bağlamında ortaya konmuş, ardından Deutsch (1985), Jozsa–Deutsch (1992) daha çarpıcı algoritmalar önermiştir. En ünlüsü, Shor (1994) algoritmasıdır; büyük sayıların çarpanlarına ayrılmasını bilinen hiçbir klasik algoritmanın yapamayacağı bir hızda çözer. Aslında Duwell’e göre 2019 itibarıyla Quantum Algorithm Zoo veritabanında 38 kuantum algoritması üstel hızlanma sağlamış, 36’sı ise belirli ölçüde klasik algoritmalardan üstün bulunmuştur. Dolayısıyla temel soru şudur: Kuantalarda bu hızlanmayı sağlayan “kaynak” nedir? Bu bölümde önde gelen öneriler kısaca ele alınacaktır.

Kuantum Paralellik ve Girişim

Kuantum hızı kavramının erken bir açıklaması Kuantal Paralellik Tezi (QPT)’dir. Buna göre kuantum sistemler aynı anda bir fonksiyonun birçok değerini hesaplayabilir. Örneğin, Deutsch-Jozsa algoritmasında n adet kübit başlangıçta |0⟩ durumuna alınır, üzerine Hadamard kapısı uygulanır ve sonuçta |0⟩+|1⟩ süperpozisyonunu içerir. İki kübit için bu durum . |0⟩+|1⟩ /√2 ⊗ |0⟩+|1⟩ /√2 = (|00⟩+|01⟩+|10⟩+|11⟩)/2 şeklinde her mümkün bit dizisini kapsar. Bu süperpozisyonda sistem aslında 0’dan (2^n-1)’e kadar tüm sayıların bir karışımındadır. Basitçe söylemek gerekirse, kuantum paralellik daha fazla hesaplama yolunu tek bir adımda açığa çıkarır. Ancak bu tek başına bilgiye erişim sağlamaz; sonuçtaki durumu ölçebilmek veya işlemek için girişim (interference) hayati önem taşır. Kuantum girişimi sayesinde, istenmeyen durumların genliği birbirlerini yok ederken istenen sonuç durumlarının genliği güçlenir. Grover algoritması buna örnektir: kuantum girişimi ile klasik aramanın (\sqrt{N}) yöntemiyle yapılmasını sağlar.

Dolanıklık (Entanglement)

Kuantalarda dolanıklık kavramı, aynı sistemin parçalarının ayrı ayrı tanımlanamayacak biçimde birbirine bağlı olmasıdır. Duwell (2021) hatırlatır ki, n parça sistem durumu genel olarak (2^n) parametreyle ifade edilir ve bu parametrelerin bazıları sadece dolanıklılığa işaret eder. Jozsa ve Linden (2003) sonucuna göre, saf durumlu kuantum algoritmalarında üstel hızlanma için kuantum işlemin hesaplama sırasında “sınırsız sayıda çok-parçacıklı dolanıklık” üretmesi gerekir. Aksine, entanglement’ın olmadığı durumlar (bloklara ayrılabilir durumlar) kolayca klasik simülasyona indirgenebilir. Dolanıklık, kuantum hızlanmasının anahtar kaynaklarından biri olabilir; bazıları girişimle birlikte bu etkiyi açıklar. Ancak dolanıklık tek başına yeterli değildir; örneğin Gottesman–Knill teoremi dolanıklık içeren belirli operasyonların (stabilizer kapıları) klasik olarak simüle edilebildiğini gösterir. Ayrıca Bernstein–Vazirani algoritması gibi hızlanmalar, dolanıklık oluşmadan da ortaya çıkabilmiştir (yalnızca lineer değil, kuantum Fourier dönüşümü gibi matematiksel hilelerle). Yine de Duwell (2021), genel durumlar için entanglement'ın önemli bir kaynak olduğuna işaret eder.

Bub’un Yaklaşımı (Küresel Bilgi Kodlaması)

Jeff Bub (2010) ise kuantum hızlanmasını farklı bir bakış açısıyla açıklar. Bub’a göre, QPT veya yerel işlev değerlerine ulaşmak yetersizdir; önemli olan küresel özellikleri bilmek için durumların altuzaylarda kodlanma şeklidir. Ona göre, kuantum algoritmalarının farkı, fonksiyonun global özelliklerini farklı altuzaylarda açığa çıkarabilmeleridir. Örneğin Bub, Deutsch–Jozsa ve Shor algoritmalarında, fonksiyonun periyodunu bulmak için bilgi farklı altuzaylarda saklanır ve bu sayede bireysel fonksiyon değerlerine ulaşılmadan sonuç çıkarılır. Bub’un vurguladığı “bilgi kodlama” yaklaşımı, kuantum süperpozisyonun (paralellikten öte) başlıca kaynağı olduğu görüşünü destekler. Sonuç olarak, Bub’a göre kuantum hızlanmasının kökeninde, hesaplama yollarına dair farklı temsiliyet (kodlama) biçimleri vardır.

Sayısal Örnek: Grover Arama Algoritması

Klasik bir arama algoritması (O(N)) karmaşıklığa sahipken, Grover algoritması kuantum girişimi kullanarak (\sqrt{N}) kompleksliğe iner. Aşağıdaki grafik, bir veri kümesinde kayıp bir öğeyi bulmak için gerekli “adım sayısını” klasik ve kuantum arama ile karşılaştırmaktadır. Kuantum algoritma (Grover) (\sqrt{N}) ile ölçeklenirken, klasik dizisel arama O(N)’dir. Görüldüğü üzere küçük N için fark az, ancak büyüdükçe kuantum arama belirgin üstünlük sağlar. Bu grafik, yalnızca teorik zaman karmaşıklıklarını değil, gerçek değerler yerine örnek oranları göstermektedir (log-log ölçek).

Şekil 1. Kayıp nesne arama: Klasik sıralı arama (mavi, (O(N))) ile Grover kuantum araması (turuncu, (O(\sqrt{N}))) performans karşılaştırması.

Yukarıdaki grafik gösteriyor ki Grover’la bulunacak öğeye yönelik işlem sayısı, klasik aramaya göre belirgin şekilde daha yavaş büyüyor. Bu durum, büyük veri boyutlarında kuantum girişimin avantajını somutlaştırmaktadır. Benzer şekilde, Shor algoritması üstel hızlanma sağlayarak özellikle kriptografik problemlerde devrim yaratmıştır.

Deneysel ve Uygulama İlişkileri

Fiziksel Church–Turing tezi ve kuantum bilgisayarların başarısı, deneysel teknoloji ile iç içedir. Kuantum bilgisayarların gerçekleştirilmesi, üstün kuantum varlıklarının inşa edilmesi anlamına gelir. Duwell (2021) de belirtir ki gerçek kuantum hızı ancak hataların üstesinden gelinerek (hata düzeltme) ve ölçeklenebilir sistemler kurularak erişilebilir. Örneğin 2019’da Google ve IBM’in rakamları gösterdi ki, 50+ kübitli sistemler sınırlı üstünlük deneyleri yapabiliyor. Kalai (2020) bu konuda karamsar; büyük kuantum bilgisayarların inşasının pratik zorlukları nedeniyle gerçek hızlanmanın elde edilemeyebileceğini savunur. Diğer yandan deneysel çalışmalar fiziksel bilgi işlem sınırlarının anlaşılmasına katkıda bulunmuştur: 1960’larda Landauer prensibi termodinamiğin bilgi işlemle ilişkisini ortaya koydu. 1980’lerde Bennett, tersinmez ve geri-dönüşümlü hesaplamayı önermiştir (fiziksel hesaplama teorisine altlık olmuştur). Günümüzde kuantum optik, iyon kapanları, süperiletken devreler gibi platformlarda pratik adımlar atılmıştır. Duwell (2021) mekanistik bakışla adiyabatik kuantum bilgisayarların bile bir mekanizma olarak ele alınabileceğini, gerekli fiziksel bileşenlerin var olduğunu yazar. Bu yönelim, kuantum bilgi işlem teknolojisini temel fizik yasaları ve mühendislik sınırlamaları bağlamında değerlendirmemizi sağlar.

Açık Araştırma Soruları ve Önerilen Tez Projeleri

Bu alanda hâlâ pek çok temel soru cevapsızdır. Öne çıkan açık sorunlar ve yüksek lisans düzeyinde ele alınabilecek projelere bazı örnekler şunlardır:

• Hiperhesaplama Olanakları: Fiziksel Church–Turing tezini aşabilecek modeller var mı? Özellikle genel görelilik ve kuantum kütleçekimi altında Malament–Hogarth benzeri uzayzaman yapılarını inceleyen teoriler (ör. Pitowsky, Hogarth) bir tez konusu olabilir.
• Analog Hesaplamanın Sınırları: Gerçek sayılar kullanan analog bilgisayarların teorik gücü ve pratiği, CT tezi açısından ne anlam ifade eder? Bu konuda Blum–Shub–Smale gibi modelleri deneysel fizik bağlamında araştırmak ilginçtir.
• Hesaplama Tanımının Evrimi: Mekanistik ve AR/AAR tanımlarının genişletilip birleştirilmesi nasıl yapılabilir? Üst düzey bir tez, Piccinini-Fletcher benzeri hesaplama kuramlarını karşılaştırarak nesnellik, temsiliyet ve algoritma-adım ilişkilendirmesi açılarından genişletilebilir.
• Yeni Kuantum Algoritmaları: Bub’un küresel bilgi kodlaması yaklaşımı doğrultusunda yeni kuantum algoritmaları geliştirmek. Örneğin, belki de daha önce fark edilmeyen fonksiyon özelliklerini çıkaran bir algoritma tasarımı.
• Dolanıklık ve Bağlamsallık Kaynakları: Kuantum hızlanması için dolanıklığın veya bağlamsallık (contextuality) gibi başka kaynağın rolünü deneysel veya simülasyon yoluyla irdeleyen araştırmalar. Bazı çalışmalar (Datta, Caves 2005; Spekkens toy modeli) kuantum benzeri avantajların kuantum olmayan modellerde de görünür olduğunu göstermiştir. Bu tartışmayı derinleştirmek önemlidir.
• Kuantum Bilgisayarların Donanımı: İyon kapanları, süperiletken kübitler, fotonik sistemler gibi farklı teknolojilerde ölçeklenebilir, gürültü toleranslı kuantum bilgisayar prototipleri üzerinde deneysel araştırmalar; hata düzeltme kodları tasarımı.
• Fiziksel Kaynak Tüketimi: Landauer prensibi çerçevesinde klasik ve kuantum hesaplamanın enerji verimliliği farklarını incelemek. Özellikle kuantum işlemlerin termodinamik maliyeti konusunda deneysel çalışmalar.
• Teorik Karşıt Argümanlar: Kalai ve others’ın kuantum bilgisayarların başarısına yönelik eleştirilerini matematiksel olarak test eden çalışmalar. Örneğin, kuantum hata oranlarının artması halinde sistemlerin klasik hesaplama gücünü aşıp aşamayacağı üzerine teorik analizler.

Her bir önerilen konu, yüksek lisans tezi düzeyinde özgün araştırma potansiyeli taşır. Bu çalışmalar, hesaplamanın temelini genişletirken aynı zamanda teknolojik ilerlemeye de ışık tutacaktır.

Sonuç

Bu çalışmada Armond Duwell’ün Physics and Computation kitabı çerçevesinde hesaplama ve fizik ilişkisi derinlemesine ele alındı. Turing’in orijinal kavramlarından başlayıp Church–Turing tezi, hesaplamanın fiziksel tanımları ve kuantum hesaplamaya kadar uzanan bir kapsam sunuldu. Her bölümde birincil kaynaklar (Turing, Church, Nielsen & Chuang vb.) ile Duwell’ün yorumları birlikte kullanıldı. Mekanistik vs temsiliyet hesapları arasındaki temel farklar ortaya kondu, kuantum bilgisayar modellerinin detayları verildi ve kuantum hızlanması kaynaklarına dair tartışmalar yapıldı. Öne çıkan noktalar, Turing & Church tezlerinin sınırları, kuantum paralelliği ve entanglement’ın hızlanmadaki rolü ile hesaplamayı tanımlamanın güçlükleri oldu. Çalışmanın sonuçları, hesaplama teorisi ile fizik arasındaki kesişim noktalarını aydınlatırken, gelecekte bu alanda yapılacak araştırmalara yol göstermeyi amaçlamaktadır.

Kaynakça

• Duwell, A. (2021). Physics and Computation. Cambridge University Press.
• Işıklı, Ş. (2024). Kuantum Hesaplama ve Kuantum Algoritmaların Olağanüstü Özellikleri. Kedidedi Yayıncılık.
• Turing, A. M. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42(1), 230–265.
• Church, A. (1936). An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics, 58(2), 345–363.
• Nielsen, M. A., & Chuang, I. L. (2000). Quantum Computation and Quantum Information. Cambridge University Press.
• Jozsa, R., & Linden, N. (2003). On the role of entanglement in quantum computational speed-up. Proceedings of the Royal Society A, 459(2036), 2011–2032.
• Bub, J. (2010). Quantum computation: Where does the speed-up come from? In A. Bokulich & G. Jaeger (Eds.), Philosophy of Quantum Information and Entanglement (s. 231–246). Cambridge University Press.