«computability» etiketlenmiş sorular

Turing tamlığının sınırsız bellek ve sınırsız zaman gerektirdiğini anlıyorum. Bununla birlikte, bu serviste sınırlı miktarda atom vardır, böylece belleği sınırlandırır. Olsa Örneğin mantıksız olsa bile belirli bir basamak daha fazla sayıda depolamak için bir yolu yoktur , tüm evrenin atomuna bu amaçla kullanılmıştır.ππ\pi Öyleyse, uygulanmış bir Turing makinesinin (evrenin tüm …

17 computability  upper-bounds 

Diyelim ki, gelecekte belirli bir noktada Evrendeki tüm atomların durumunu hesaplayacak bir bilgisayar inşa ediyorsunuz. Evren, tanım gereği, var olan her şey (ve geri kalanıyla etkileşime giren herhangi bir şey) olduğu için, inşa ettiğiniz bilgisayarı da içerir. Bilgisayarın atomları da dahil olmak üzere bilgisayarınızı kullanarak Evrendeki tüm atomların durumunu hesaplayabilir …

17 computability 

Son zamanlarda oldukça ilginç bir teorik yapıya rastladım. Bir sözde Gödel'in makinesi Kendi kendine optimizasyon yapabilen genel bir problem çözücüdür. Reaktif ortamlar için uygundur. Anladığım kadarıyla, evrensel Turing makinesi için bir program olarak uygulanabilir, ancak gereksinimleri şu anda mevcut olan donanımın çok ötesine geçer. Yine de çok fazla detay bulamadım. …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Gerçek sayılarla, gerçek sayıların kullanımına ilişkin en bilinen sonuçların yalnızca hesaplanabilir gerçekler göz önüne alındığında kullanılabileceğini belirten genel bir teorem var mı? Yoksa yalnızca hesaplanabilir gerçekler göz önüne alındığında geçerli kalan sonuçların uygun bir karakterizasyonu var mı? Bir yan soru, hesaplanabilir gerçeklerle ilgili sonuçların, tüm gerçekleri veya hesaplanamayan herhangi bir …

16 computability  computing-over-reals  topology  model-theory 

Başlık sorusuna kesin bir cevap almak istiyorum. Herhangi bir programı sonsuz bir tahtadaki sonlu parçaların konfigürasyonuna çeviren bir dizi kural var mı, eğer siyah ve beyaz sadece yasal hamleleri oynarsa, oyun program durursa oyunun sınırlı bir sürede bitmesi gerekir mi? Kurallar sıradan satranç eksi 50 hareket kuralı, borsalar ve rıhtımla …

16 computability  turing-machines  board-games  halting-problem  recreational 

Bilgisayar bilimi ile ilgili şaşırtıcı şeylerden biri, fiziksel uygulamanın bir anlamda "alakasız" olmasıdır. İnsanlar, röleler, vakum tüpleri, ayrık transistörler, vb. Gibi farklı alt tabakalardan başarılı bir şekilde bilgisayar üretmişlerdir. Prensip olarak, bir bilardo topu bilgisayarı yapmak mümkün görünüyor . Bununla birlikte, fiziksel substrat tamamen alakasız değildir. İnsanlar belirli bileşen setlerinin …

16 computability  turing-machines  terminology  physics  natural-computing 

( GÜNCELLEME : Daha iyi bir oluşmuş bir soru çıkmaktadır burada bu soruyu iyi tanımlanmış olmadığını göstermek altında kabul cevap yorumlar) Durma probleminin imkansızlığının klasik kanıtı, durma algılama algoritmasını girdi olarak uygulamaya çalışırken bir çelişki göstermeye bağlıdır. Daha fazla bilgi için aşağıdaki arka plana bakın. Gösterilen çelişki, öz-referans paradoksundan dolayı …

16 computability  lo.logic 

Tamamlanmayan herhangi bir dil, kendisi için bir tercüman yazamaz. Bunu okuduğum yerde hiçbir fikrim yok ama birkaç kez kullanıldığını gördüm. Bu bir tür "nihai" Turing olmayan tam dile yol açıyor gibi görünüyor; sadece yapabilen (ler)bir Turing makinesi tarafından yorumlanabilir. Bu diller, doğallardan doğallara kadar tüm toplam fonksiyonları hesaplayamayabilir veya zorunlu …

16 computability  turing-machines 

Bu soru Math.SE sitesinde de yayınlanmıştır. /math/1002540/fixed-points-in-computability-nd-logic Umarım buraya da gönderebilirsin. Değilse veya CS.SE için çok basitse, lütfen bana söyleyin, ben silerim. Mantıktaki sabit nokta teoremleri ile λλ\lambda hesabı arasındaki ilişkiyi daha iyi anlamak istiyorum . Arka fon 1) Gerçeğin eksiklik ve tanımlanamazlıkta sabit noktaların rolü Bildiğim kadarıyla anladığım kadarıyla, …

15 lo.logic  computability  lambda-calculus 

her başlangıç ​​konfigürasyonu için durursa (özellikle bant içeriği ve başlangıç ​​durumu isteğe bağlı olabilir) bir Turing Makinesi ölümlü olduğunu söylüyoruz . Her özyinelemeli dil, ölümlü bir Turing Machine tarafından tanınıyor mu? (kabul eden bir TM olup olmadığını, yani , kabul ölümlü TM orada da )M L LMMMMMMLLLLLL

15 computability 

Ackerman fonksiyonunun nasıl oluşturulacağını işaret edebilir misiniz (aslında Rózsa Péter ve Raphael Robinson tarafından önerilen bir versiyonla ilgileniyorum), standart mu-özyinelemeli operatörler aracılığıyla? Péter ve Robinson'ın orijinal makalelerini denedim, ancak Péter'in makalesinde İngilizce ve Robinson'ın “Özyineleme ve Çifte Özyineleme” ve “İlkel Özyinelemeli İşlevler” makalelerinden farklı bir dil kullanılıyor: birincisi daha alakalı …

15 computability 

Bir Turing Machine tarafından tanımlanmış bir dil L verildiğinde, L'nin NP'de olup olmadığını algoritmik olarak belirlemek mümkün müdür?

15 cc.complexity-theory  computability  turing-machines 

Fizikte olduğum için, geometrik açıdan bir çok soruna bakmak için eğitildim. Örneğin dinamik sistemlerde manifoldların diferansiyel geometrisi vb. Bilgisayar biliminin temellerini okuduğumda daima geometrik yorumlar bulmaya çalışırım. Özyinelemeli olarak numaralandırılabilir kümelerin makul bir geometrik yorumu gibi (Diophantine kümeleri ile denkliği kullanarak bunları cebirsel geometri ile birleştirmeye çalıştığım bir parça üzerinde …

14 reference-request  computability  big-picture 

Başarıyla çözülen Collatz varsayımına "en yakın" (ve "en karmaşık") problemle ilgileniyorum (Erdos'un ünlü olarak "matematik bu tür problemler için henüz olgun değil"). "Collatz benzeri" problemlerin bir sınıfının kararsız olduğu kanıtlanmıştır. Bununla birlikte, Hofstadter'ın MIU oyunu (çözüldü, ancak kuşkusuz daha fazla oyuncak problemi) gibi belirsiz bir şekilde benzer olan problemler gerçekten …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Uzun bir süredir, herhangi bir Turing derecesi verildiğinde, kelime problemi bu derecede olan sonlu bir grup olduğu bilinmektedir. Benim sorum, aynı şeyin keyfi polinom zamanı Turing dereceleri için geçerli olup olmadığıdır . Spesifik olarak, bir Karar verilebilen bir dizi belirli kelime problemi ile, bir sonlu sunulan grubu vardır mevcut da …

14 cc.complexity-theory  computability  gr.group-theory