«computability» etiketlenmiş sorular

Hesaplanabilirlik teorisi, özyineleme teorisi.

1
Durma problemi, hesaplanamayan kümeler: ortak matematiksel kanıt?
Sayılabilir bir algoritma kümesiyle (bir Gödel numarasıyla karakterize edilir), N'nin tüm alt kümelerini hesaplayamadığımız (ait olanı kontrol eden bir ikili algoritma inşa edebileceğimiz) bilinmektedir. Bir kanıt, şöyle özetlenebilir: eğer yapabilirsek, N'nin tüm alt kümelerinin kümelenmesi sayılabilir (her bir alt kümeyle ilişkilendirilebilir, onu hesaplayan algoritmanın Gödel sayısını belirleyebiliriz). Bu yanlış olduğu …
4
Olasılıklı bir Turing makinesi durma problemini çözebilir mi?
Sonsuz bir gerçek rasgele bit akımı veren bir bilgisayar, bir bilgisayarı olmayan bir bilgisayardan daha güçlüdür. Soru şu: durma problemini çözebilecek kadar güçlü mü? Yani, olasılıksal bir bilgisayar deterministik bir programın durup durmayacağını belirleyebilir mi? Belirleyici bir şey yapan olasılıklı bir bilgisayar örneği yapamaz: Koligogorov karmaşıklığı ile gigabayttan daha büyük …
2
F Sistemi hangi işlevleri hesaplayamaz?
In Turing Bütünlük bu wikipedia makalesinde bu belirtmektedir: Yazılmamış lambda matematiği Turing tamamlandı, ancak Sistem F de dahil olmak üzere birçok tipte lambda matematiği yok. Yazılan sistemlerin değeri, daha fazla hata algılayarak en tipik bilgisayar programlarını temsil etme yeteneklerine dayanır. F sistemi tarafından hesaplanamayan bir toplam hesaplanabilir fonksiyon örneği nedir …
6
Bir C uygulamasının maksimum hesaplama gücü
Kitabın önüne geçersek (veya tercih ederseniz dil spesifikasyonunun herhangi bir versiyonunu kullanırsak), bir C uygulamasının ne kadar hesaplama gücü olabilir? “C uygulaması” nın teknik bir anlamı olduğunu unutmayın: Uygulama-tanımlanmış davranışın belgelendiği C programlama dili spesifikasyonunun özel bir örneğidir. AC uygulamasının gerçek bir bilgisayarda çalışabilmesi gerekmez. Bit-dizili bir temsili olan her …
6
Hesaplamada gerçek sayılar nasıl belirtilir?
Bu temel bir soru olabilir, ancak Nash dengesi hesaplama ve doğrusal yozlaşma testi gibi konularda yazılar okuyup anlamaya çalışıyorum ve gerçek sayıların girdi olarak nasıl belirtildiğinden emin değildim. Örneğin, LDT'nin belirli polinom alt sınırlarının olduğu belirtildiğinde, girdi olarak değerlendirildiğinde gerçek sayılar nasıl belirlenir?
4
Kilise Teoremi ve Gödel'in Eksikliği Teoremleri
Son zamanlarda, çeşitli mantıkçılar ve matematikçiler tarafından hesaplanabilirlikle ilgili çığır açan çalışmaların bazı fikirlerini ve tarihlerini okudum. Bireysel kavramlar benim için oldukça açık olsa da, orada birbirleriyle olan ilişkileri ve hepsinin birbirleriyle bağlantılı oldukları soyut seviyeleri kavramaya çalışıyorum. Church teoreminin (ya da daha doğrusu, Hilbert'in Entscheidungsproblem'in Alonzo Kilisesi ve Alan …
2
Bir algoritma, zaman karmaşıklığını ne kadar keyfi bir giriş programını öngörebilir?
Halting problemi o, başka bir program alıkoymalarla olmadığını belirlemek için bir program yazmak imkansız olduğunu belirten olası tüm giriş programlarında . Bununla birlikte, kesinlikle, benzer bir programın çalışma süresini hesaplayabilen bir program yazabilirim: for(i=0; i<N; i++) { x = 1; } ve hiç çalıştırmadan zaman karmaşıklığını döndürün .N-NN Diğer tüm …
3
Hesaplanabilirlik teorisinde göreceli olmayan bir sonuç var mı?
Andrej Bauer'ın Sentetik Hesaplanabilirlik Teorisindeki İlk Adımları makalesini okuyordum . Sonuç olarak o notları Bizim aksiyomlaştırmamızın bir sınırı vardır: hesaplanabilirlik teorisinde kehanet hesaplamaları ile göreceli olarak başarısız olan sonuçları kanıtlayamaz. Bunun nedeni, teorinin, kısmi özyinelemeli işlevlerden inşa edilmiş etkili topoların bir kâhise erişimi olan bir varyantında yorumlanabilmesidir. Bu, hesaplanabilirlikteki göreceli …
3
Sonsuz Bir Alanda Tensör Sıralaması'nın Karmaşıklığı
Bir tensör vektörler ve yüksek boyutlara matrisler ve bir genellemedir sıralaması bir tensörünün de matris sıralamasını genelleştirilmiş. Yani, bir tensörünün sıralaması TTT sıralaması sayısının en az bir tensörü için toplamı yani TTT . Bir vektör ve matris, sırasıyla derece 1 ve 2 tensörleridir. elementler FTTT alanından gelir . Eğer F …
5
Problem öğretme hesaplanabilirliği
Hesaplanabilir fonksiyonlar kavramını öğretmekte zorlanıyorum. Neden Hilbert / Ackermann / Godel / Turing / Church / ... gibi araştırmacıların 'hesaplanabilirlik' kavramını icat ettiği fikrini geliştirmeye çalıştım. Öğrenciler derhal şunları söyledi: "Hesaplanabilirlik ne anlama geliyor?" ve onlara Turing makinelerini öğretmediğim sürece cevap veremem ve sonra "bir Turing makinesi hesaplarsa bir fonksiyonun …
3
Soyut bir makine kendini simüle edebilirse, bu Turing'i tamamlar mı?
Örneğin, programlama dillerinde bir X-in-X derleyici / yorumlayıcı yazmak yaygındır, ancak daha genel bir düzeyde Turing-complete sistemlerinin çoğu etkileyici yollarla taklit edebilir (örneğin, Conway'in Conway'in Hayat Oyunundaki Simülasyonu ). Yani sorum şu: Bir sistem Turing'in tamamlandığını kanıtlamak için kendini simüle edebiliyor mu? Kesinlikle gerekli bir durumdur.
2
-ormal koruma Turing makineleri
Kuantum üzerinde bazı yeni konuları Okuma (bilgisayar burada , burada ve burada ) bana bir çeşit gücü hakkında ilginç bir soru hatırlatabiliyorum makinesini koruyarak -norm.ℓpℓp\ell_p Karmaşıklık teorisinde çalışan insanlar için kuantum karmaşıklığına gidecek olan büyük bir giriş metni Fortnow'un Joshua Grochow tarafından buraya gönderilen makalesidir . Bu makalede, kuantum Turing …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.