«church-turing-thesis» etiketlenmiş sorular

Kilise-Turing tezi, fiziksel olarak hesaplanabilecek her şeyin bir Turing Makinesi üzerinde hesaplanabileceğini belirtir. "Sinir ağları üzerinden analog hesaplama" (Siegelmannn ve Sontag, Teorik Bilgisayar Bilimi). , 131: 331-360, 1994; PDF ), belirli bir formdaki bir sinir ağının (ayarlar kağıtta sunulmuştur) daha güçlü olduğunu iddia ediyor. Yazarlar, üstel bir zamanda, modellerinin Turing …

29 computability  turing-machines  church-turing-thesis 

Bu naif ve bu nedenle, muhtemelen yanlış biçimlendirilmiş bir soru, şimdiden özür dileriz! Benim görüşüme göre, bir Turing Makinesi, işlemsel / zorunlu programlama dilleri için hesaplama temeli olarak görülebilir. Benzer şekilde, lambda matematiği, fonksiyonel programlama dilleri için temeldir. Son zamanlarda Kilise Turing Tezi'nin de üçüncü bir hesaplama modeliyle karşılıklı denklik …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Turing-decidable olan birçok (ve çok demek istediğim) sayılabilen dil var. Sayılamayan herhangi bir dil Turing'e karar verebilir mi?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Sonlu bir gözlemcinin geçmişinde sonsuz süreli bir dünya çizgisinin yer aldığı göreceli uzay zamanları vardır (örneğin MH uzay zamanları; bkz. Hogarth 1994). Bu, normal bir gözlemcinin sonsuz sayıda hesaplama adımına erişebileceği anlamına gelir. Bir bilgisayarın sonsuz bir süre boyunca mükemmel bir şekilde çalışmasının mümkün olduğunu varsayarsak (ve bunun büyük bir …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Talimatlarını değiştirebilecek keyfi bir bilgisayar programımız varsa, bu programı talimatlarını değiştiremeyen bir programla simüle etmek mümkün müdür? Düzenle: Stackexchange'te yeniyim, bu yüzden burada YENİ bir soru sorma iznim olup olmadığından emin değilim, ama işte gidiyor: Tamam, mümkün olduğunun kanıtı, gerçekten gösterdiğiniz gibi gerçekten basit. Şimdi merak ediyorum: Girdi-çıktı eşdeğeri en …

12 computability  computation-models  turing-completeness  church-turing-thesis 

HTML5 + CSS'nin Turing Complete olduğunu "kanıtladığını" iddia eden web siteleri gördüm. SQL "Turing Complete olduğunu kanıtlamak" iddia web siteleri gördüm. Turing Complete olmanın ne anlama geldiğini "açıklamayı" iddia eden bir grup web sitesi gördüm. Yeter! "Hesaplanabilirlik teorisinde bir uzman tarafından yazılmış) veya haklı bir makaleyi (saygın bir dergide) nerede" …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Nielsen & Chuang, Quantum Computation ve Quantum Information, 10. yıldönümü baskısı, sayfa 5'ten (vurgu mayını) alıntı yapmak istiyorum: Güçlü Church-Turing tezine yönelik bir sınıf zorluk analog hesaplama alanından geliyor. Turing'den bu yana, birçok farklı araştırmacı ekibi, belirli analog bilgisayar türlerinin bir Turing makinesinde verimli bir çözümü olmadığı düşünülen sorunları etkili …

9 computation-models  church-turing-thesis