«computability» etiketlenmiş sorular

Rice'ın Teoremi nedeniyle bir web tarayıcısında, kelime işlemcide veya işletim sisteminde hataları yakalamak için bir program yazamayacağınızı sık sık duydum: Turing tam bir dil için herhangi bir anlamsal özellik kararsız. Bununla birlikte, bunun gerçek dünya programı için işletim sistemlerini ne ölçüde sevdiğinden emin değilim. Bu tür programlar Turing tamlığının tam …

10 computability 

Harvey Friedman, ZFC'de kanıtlanamayan düzgün bir sabit nokta sonucu olduğunu gösterdi (her zamanki Zermelo-Frankel, Seçim Aksiyomu ile kuram). Birçok modern mantık sabit nokta operatörleri üzerine inşa edilmiştir, bu yüzden merak ediyordum: teorik bilgisayar bilimi için Üst Vites Sabit Nokta teoreminin bilinen sonuçları var mı? Korunamaz Üst Vites Sabit Nokta Teoremi …

10 computability  lo.logic 

Soru : Hesaplanabilir dizileri tahmin etmek (aşağıda tanımlandığı gibi) durma problemi kadar zor mu? Detaylandırma : "Tahmin" başarılı bir şekilde tahmin anlamına gelir, yani önceki n-1 bitlerine erişim verilen dizinin n'inci bitini tahmin etmeye çalışmak (yalnızca ilk bitten başlayıp tüm sonsuz hesaplanabilir dizi). Herhangi bir Turing makinesi tahmincisi p için, …

10 computability 

Herkes eşit olarak değişen ve karmaşıklık ve hesaplanabilirlik "ilginç" hiyerarşilerinden birini kapsayan bir dizi sorun biliyor mu? İlginç olarak, örneğin, Polinom Hiyerarşisi, Aritmetik Hiyerarşisi veya Analitik Hiyerarşi. Veya belki (N) P, (N) EXP, 2 (N) EXP, ...…\ldots 0 , 0', 0'¯¯¯¯, 0'', 0''¯¯¯¯¯, …0,0′,0′¯,0″,0″¯,…0, 0', \overline{0'}, 0'', \overline{0''},\ldots Öte yandan, …

10 cc.complexity-theory  computability 

İzin Vermek 'HA LTnHALTnHALT_n uzunluk dizesini belirtmek 2n2n2^n uzunluk girişleri için durma probleminin doğruluk tablosuna karşılık gelen nnn. Kolmogorov karmaşıklık sırası K( HA LTn)K(HALTn)K(HALT_n) idi O ( 1 )O(1)O(1), ardından tavsiye dizelerinden biri sonsuz sıklıkta kullanılır ve bu dizeye sahip sabit kodlu bir TM çözebilir 'HA L THALTHALT muntazam sonsuz …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

İlkel özyinelemeli işlevler doğal sayılar üzerinden tanımlanır. Bununla birlikte, kavramın, örneğin listeleri ikili ağaçlarla eşleştiren ilkel özyinelemeli işlevler hakkında konuşmasına izin vererek diğer veri türlerine genelleme yapması gerektiği anlaşılıyor. Benzer şekilde, doğal sayılar üzerindeki kısmi özyinelemeli işlevler, herhangi bir veri türündeki hesaplanabilir işlevler için güzelleşir ve ilkel özyinelemeli işlevler için …

9 computability 

Kolmogorov'un karmaşıklığının başka bir hesaplanamayan sorundan kaynaklanan bir azalma kullanılarak hesaplanamayacağına dair bir kanıt arıyorum. Ortak kanıt, Berry'nin paradoksunun bir indirimden ziyade resmileştirilmesidir, ancak Durma Sorunu veya Post'un Yazışma Sorunu gibi bir şeyden azalarak bir kanıt olmalıdır.

9 computability  reductions  kolmogorov-complexity 

Bunu duymamış eğer Fötus, üzerinde okunabilir burada . Bir fonksiyondaki özyinelemeli çağrıların tüm 'özyineleme davranışlarını' bulmak için bir 'çağrı matrisleri' ve 'çağrı grafikleri' sistemi kullanır. Bir fonksiyonun sonlandığını göstermek için, bir fonksiyona yapılan özyinelemeli çağrıların tüm özyineleme davranışlarının belirli bir 'sözlükbilimsel sıralamaya' uyduğunu gösterir. Sonlandırma denetleyicisi tüm ilkel özyinelemeli işlevlere …

9 lo.logic  computability  functional-programming 

Üstüne bir tip sistemi eklemeye gerek kalmadan, güçlü normalleşen lambda hesabına benzer bir sistem var mı?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Karar verilebilir problemler var, karar verilemeyen bazıları var, yarı geçerlilik var, vb. Bu durumda, bir sorunun meta-karar verilemez olup olmadığını merak ediyorum. Bu (en azından kafamda), karar verilebilir olup olmadığını söyleyemeyiz anlamına gelir. Belki de karar verilebilirliğin kararsız olduğu bilinmektedir (her şey meta kararsızdır) ve herhangi bir şey için karar …

9 computability  decidability  undecidability 

Kolayca bir egzersiz olan aşağıdaki soru ile karşılaştım (aşağıdaki spoiler). Bize veriliyor nnn durma probleminin örnekleri (yani TM'ler M1,...,MnM1,...,MnM_1,...,M_n) ve hangisinin durduğuna tam olarak karar vermeliyiz ϵϵ\epsilon. Yani, çıktı almalıyız{i:Mi halts on ϵ}{i:Mi halts on ϵ}\{i: M_i\text{ halts on }\epsilon\}. Durma problemi için bir kehanet verilir, ancak bunu en az …

9 computability  lower-bounds 

Joe B. Wells'in 1994'teki sonucunu bilmediğimizi varsayalım, Sistem F'de (AKA ) hem tiplendirmenin hem de tür kontrolünün kararsız olduğunu düşünüyoruz . Barendregt'in tipleri ile Lambda taşlarında (1992) Malecki 1989'dan dolayı tip kontrolünün tiplendirilebilirlik anlamına geldiğine dair bir kanıt buldum. Bunun nedeni iseλ2λ2\lambda 2 mevcut şekildeσσ\sigmaM:σM:σM:\sigma eşittir (λxy.y)M:(α→α)(λxy.y)M:(α→α)(\lambda xy.y)M : (\alpha\rightarrow\alpha) …

9 lo.logic  computability  type-theory  lambda-calculus  type-inference 

Chris Pressey'in temel özyinelemeli işlevler hakkındaki ilginç sorusuyla ilgilendiğimde , daha fazlasını araştırıyordum ve bu soruya web'de bir cevap bulamadım. İlköğretim özyinelemeli fonksiyonlar üstel hiyerarşiye güzel karşılık,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots. Düşük temel fonksiyonlar tarafından karar verilebilen karar problemlerinin (terim?) EXP'de ve aslında DTIME'de yer alması gerektiği açıktır.(2O(n))(2O(n))(2^{O(n)}); bu işlevler, …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Cevabı muhtemelen iyi bilinen bir sorum var, ama biraz arama yaptıktan sonra anlamlı bir şey bulamıyorum, bu yüzden biraz yardım için minnettar olurum. Sorum şu ki, bir sayının aşkın olup olmadığına karar vermek kararsızdır. Muhtemelen, giriş olarak kabul edilir, örneğin sayının i ^ bitini döndüren bir program. Herhangi bir işaretçi …

9 computability  computable-analysis 

Doğal fenomenden esinlenilen iyi bilinen hesaplama örnekleri kuantum bilgisayarlar ve DNA bilgisayarlardır. Maxwell yasaları veya yerçekimi ile hesaplama potansiyel ve / veya sınırlamaları hakkında ne biliniyor? Yani, doğanın "hızlı" çözümlerini Maxwell denklemlerine veya n-vücut problemine doğrudan genel amaçlı bir algoritmaya dahil etmek?

9 computability  machine-models  physics  natural-computing