«halting-problem» etiketlenmiş sorular

Bazı sorunların çözülemez olduğu bilinmektedir, ancak yine de bunları çözme konusunda bazı ilerlemeler yapmak mümkündür. Örneğin, durma sorunu belirlenemez, ancak kodunuzdaki potansiyel sonsuz döngüleri tespit etmek için araçlar oluşturma konusunda pratik ilerleme sağlanabilir. Döşeme problemleri çoğu zaman kararsızdır (örneğin, bu polyomino bazı dikdörtgeni döşer mi?) Ancak yine bu alanda sanatın …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Durma sorununun genel olarak kararsız olduğunu biliyorum ama belli ki durması gereken bazı Turing makineleri ve bazıları da belli değil. Olası turing makinelerinin dışında, hiç kimsenin durup durmadığına dair bir kanıtı olmayan en küçük olan nedir?

31 halting-problem 

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 …

29 computability  halting-problem 

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 

Collatz varsayımını resmi bir dilbilgisi olarak inceleme girişimlerinin iyi bir bibliyografyası olup olmadığını merak ediyordum. (ya da CS topluluğunda bu tür üretken fenomenler ve onların "durma" özellikleriyle ilgilenme girişimleri).

16 fl.formal-languages  nt.number-theory  halting-problem 

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 

Hemen hemen tüm diğer Turing Makinelerinin durup durmadığına karar verebilecek bir Turing Makinesi var mı ? Turing makinelerinin bazı numaralandırma ve bazı doğal sayılar kümesinin "boyut" kavramına sahip olduğumuzu varsayalım ve biz tanımlarız:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: …

12 turing-machines  halting-problem 

Yapıcı tip teorisi, köri howard yazışmaları altındaki temel yorumu ile sadece toplam, hesaplanabilir fonksiyonlardan oluşur. Literatürde, bazılarının fonksiyonel programlarda sonlandırılmayı temsil etmek için "hesaplamalı tip teorisi" kullanımı üzerine söylendiği, ancak karşılaştığım makalelerde, bu teorinin ana motivasyonu gibi görünmemektedir (Örneğin, Benton , fesih etmeme konusunda çok ayrıntıya girmeden determinizm, devam ve …

10 lo.logic  type-theory  oracles  halting-problem 

Gödel'in ilk kanıtları uzun, dahil olan ve bir yerde oldukça sezgisel olan bir yerde doğrudan kanıtları olan Gödel'in İlk Eksiklik Teoreminin daha zayıf bir formu, durma sorununun kararsızlığına dayanan basit ve sezgisel bir kanıta sahiptir - bkz. Https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Bu kanıtı ilk kim önerdi ve ilk olarak hangi makalede …

9 cc.complexity-theory  lo.logic  halting-problem 

Saf bir sorum var: Sonlandırması doğru ancak doğal, tutarlı ve son derece aksiyomatize edilebilir bir teori tarafından kanıtlanamayan bir Turing makinesi var mı? Belirli bir örnek olmaktan ziyade sadece bir varoluş kanıtı istiyorum. Bunun sıralı analizle bir bağlantısı olabilir . Gerçekten de, bir Turing makinesi içinMMM, tanımlayabiliriz O(M)O(M)O(M)sonlandırılmasını kanıtlayan tutarlı …

9 turing-machines  proof-theory  halting-problem 

Her iki kanıt da çapraz argümanı kullandığından, sayılamayan sonsuz kümelerin varlığı ile durma sorununun kararsızlığı arasında belirsiz bir bağlantı olup olmadığını merak ediyorum. Tüm setler sayılabilir olsaydı, durma problemi karar verilebilir mi?

9 halting-problem