Hesaplanabilir realitelerin karar verilebilir özellikleri


10

"Rice'ın hesaplanabilir gerçekler için teoremi" - yani, belirli bir hesaplanabilir gerçek tarafından temsil edilen sayının önemsiz hiçbir özelliği karar verilemez - doğru mu?

Bu, gerçeklerin bağlantılılığına doğrudan bir şekilde karşılık geliyor mu?

Yanıtlar:


8

Evet, Rice'ın gerçekler teoremi, hesaplanabilir gerçeklerin her makul versiyonunda geçerlidir.

Önce belirli bir teorem ve bir sonuç ortaya koyacağım ve daha sonra hesaplanabilirlik ile ne yapacağını açıklayacağım.

Teorem: in bir harita olduğunu ve ve iki gerçek olduğunu varsayalım . Daha sonra Cauchy dizisi vardır şekilde Tüm j \ in \ mathbb {N-} .p:R{0,1}a,bRp(a)=0p(b)=1(xi)ip(limixi)p(xj)jN

Kanıt. Aşağıdaki gibi bir dizi gerçek : dikkate tüm bu :(yi,zi)i

(y0,z0)=(a,b)(yi+1,zi+1)={(yi,(yi+zi)/2)if p((yi+zi)/2)=1((yi+zi)/2,zi)if p((yi+zi)/2)=0
iN
  • p(yi)=0 vep(zi)=1
  • |ziyi|=|ba|2i
  • |yi+1yi||ba|2i
  • |zi+1zi||ba|2i

Böylece ve dizileri ve ortak bir noktaya yakınlaşırlar . Eğer sonra alır ve eğer sonra alır . (yi)i(zi)ic=limiyi=limizip(c)=0(xi)i=(zi)ip(c)=1(xi)i=(yi)i

Sonuç: ve iki gerçek olduğunu varsayalım ki ve . Sonra her Turing makinesi sonsuza kadar çalışır veya sonsuza kadar çalışmaz.p:R{0,1}a,bRp(a)=0p(b)=1

Kanıt. Teoremi olarak, bir Cauchy dizisi vardır şekilde Tüm . Genelliği kaybetmeden ve .(xi)ip(xj)p(limixi)jBp(xj)=1p(limixi)=0

Let Turing makine olabilir. Bir dizi tanımlayın tarafından Sıra iyi tanımlanmıştır, çünkü adımına kadar simüle edebilir ve o kadar çok adımda durup durmadığına karar verebiliriz. Sonra, bir Cauchy dizisi olduğunu gözlemleyin çünkü bir Cauchy dizisidir (bunu bir egzersiz olarak bırakıyoruz). Let . Her iki veya :Tyi

yi={xjif T halts in step j and jixiif T does not halt within i steps
Ti(yi)i(xi)iz=limiyip(z)=0p(z)=1
  • Eğer , sonra sonsuza kadar çalışır. Gerçekten, adımlarından sonra , olurdu ve bu yüzden , .p(z)=0Tjz=xjp(z)=p(xj)=1p(z)=0

  • Eğer daha sonra sonsuza çalışmaz. Gerçekten, eğer olsaydı, o zaman olurdu ve bu yüzden , çelişiyordu . p(z)=1Tz=limixip(z)=p(limixi)=0p(z)=0

Şimdi bunun neden bize Rice'ın gerçek sayılar için teoremini verdiğini açıklayabiliriz. Kanıtlar yapıcıdır, bu nedenle hesaplanabilir prosedürler sağlarlar. Bu, herhangi bir hesaplanabilirlik modeli ve sözde hak edilmeyi hak eden gerçeklerin herhangi bir hesaplama yapısı için geçerlidir. Aslında, bir program oluşturmaya yönelik talimatlar olarak geri dönüp kanıtı okuyabilirsiniz - tüm adımlar hesaplanabilir.

Böylece, bir hesaplanabilir harita olsaydı ve hesaplanabilir şekilde ve , o zaman teorem ve sonuçların Halting kehanetini oluşturmak için yapıcı kanıtlarından kaynaklanan hesaplanabilir prosedürleri uygulayabiliriz. Ancak Durdurma kehaneti mevcut değildir, bu nedenle, her hesaplanabilir harita sabittir.p:R{0,1}a,bRp(a)=0p(1)=1p:R{0,1}

Tamamlayıcı: Rice teoreminin gerçeklerin bağlantılılığıyla ilgili olup olmadığı hakkında da bir soru vardı. Evet, aslında gerçeklerin birbirine bağlı olduğunun ifadesidir.

İlk önce sürekli bir haritasının ( üzerindeki ayrık topolojiyi alırız ) bir çift ayrık klozet (kapalı ve açık) kümesine karşılık geldiğini gözlemleyelim. öyle ki . Gerçekten de, ve . Çünkü süreklidir ve ve açıktır, ve , açık ayrık, ve tabii ki her kapsayacak . Bunun aksine, herhangi bir çift ayrık clopens kapak olduğu sürekli bir ilk tespitp:X{0,1}{0,1}U,VXUV=XU=p1({0})V=p1({1})p{0}{1}UVX(U,V)Xp:X{0,1} ile öğeleri ve ile öğeleri eşleyen .U0V1

Bundan bir boşluk olduğunu öğrenmek sürekli bir harita vardır, ancak eğer kesilir, ve ve böyle ve ( önemsiz bir ayrışması elde etmek için ve ihtiyacımız var ). Aynı şeyi söylemenin başka bir yolu daha vardır: yalnızca tüm sürekli haritaları sabitse ve alanı bağlanır .Xp:X{0,1}a,bXp(a)=0p(1)=babXXX{0,1}

Hesaplanabilir matematikte temel bir teoremimiz vardır: her hesaplanabilir harita süreklidir . Dolayısıyla, hesaplanabilir nesneler alanında olduğumuz sürece, Rice'ın teoremi aslında belirli bir alanın bağlı olduğunu belirtir. Klasik Rice teoremi söz konusu olduğunda, kısmi hesaplanabilir fonksiyonlarının alanıdır .NN


Teşekkürler! Aradığım şey buydu. Diğer soru hakkında herhangi bir fikir - bunun doğrudan gerçeklerin bağlantılılığıyla ilgili olup olmadığı?
Shachaf

Rice teoreminin aslında bir tür bağlantılılık teoremi olduğu hakkında bir açıklama ekledim.
Andrej Bauer

Varsayalım ve tanımlamak ise içinde durdurmak değildir adımları ve , aksi. T sonra durdurmak etmezse yakınsak için , aksi takdirde yakınsak için . Eğer hesaplanabilir, o zaman verilen , bir sınırı işlem bir makine oluşturabilir . Neden olduğunu göstermek için bu yeterli değildir olarak (hesaplanabilir, hatta semidecidable olamaz IFF durdurmak gelmez olanp(x)=1,p(x)=0yi=xTiyi=xyixxx,xTyipTp1sınırında). Açıkçası ben bir şey eksikim, çünkü yarı değerli olan önemsiz özellikler var.
Ariel

1
tanımınız tamam, ancak sınırının hesaplanabilir olduğunu iddia etmek için dizisinin hesaplanabilir bir yakınsama hızına da ihtiyacınız var . Biz hesaplanamaz yana olan indeksi en sekansı atlamak olabilir için (ya da başka biz adımı, hesaplayabilirdi durur) odaklama gibi bir hesaplanabilir oranı vardı edilemez. TyiiyixxT
Andrej Bauer

-1

Hayır. Ya da, en azından, kanıt önemsiz değildir, çünkü gerçek hesaplamak için (genellikle birçok) olası yollardan birini seçebilir ve seçilen mülkün toplamı olan bir yapıya sahip birini seçebilirsiniz. mülkü durdurma sorununa karşı test etmeyi azaltmazsınız.

Ayrıca, "önemsiz" ne wrt sayıların ne anlama geldiğini daha iyi anlamak gerekir düşünüyorum. Rice teoremi için, "önemsiz" temelde sözdizimsel değildir ve sözdizimi tarafından ima edilmez. Ancak her hesaplanabilir gerçek sayı tek bir program değil, programlarla dolu bir denklik sınıfıdır.


1
Ne demek istediğinden emin değilim, burada. Hesaplanabilir gerçek sayılarla (örneğin, , , vb.) Ve bunları hesaplayan programlar arasında ayrım yapmaya mı çalışıyorsunuz ? Elbette, her bir hesaplanabilir gerçek hesaplayan sonsuz sayıda program vardır, ancak herhangi bir karar verilebilir dile karar veren sonsuz sayıda Turing makinesi de vardır ve sıradan Rice teoreminin bununla ilgili bir sorunu yoktur. 222/7π
David Richerby

Hesaplanabilir realitelerin farklı gösterimleri aslında önemli ölçüde farklı hesaplanabilirlik özelliklerine sahip mi? Diyelim ki en.wikipedia.org/wiki/Computable_number adresindeki tanımlardan birini kullanıyorum , örneğin hesaplanabilir bir gerçek, rasyonel bir hataya bağlı olan ve bu sınır içinde bir yaklaşım üreten bir program tarafından temsil edilir. Rice teoremi ile aynı anlamda "önemsiz" demek istiyorum: Tüm hesaplanabilir gerçekler veya hiçbirine uygulanmayan bir özellik. Her sayının birden fazla program tarafından temsil edilebileceği doğrudur, ancak bu kısmi işlevler için de geçerlidir.
Shachaf

@Shachaf Rice Teoreminin gerektirdiğinden daha "önemsiz". "Sözdizimsel" özellikler de önemsizdir - ör. "Başlangıç ​​durumundan erişilebilen en az 4 durum vardır", "bağlı bir durum grafiğine sahiptir", "X'i banda yazan hiçbir geçiş yoktur" vb. her makine için geçerli değildir.
Boyd Stephen Smith Jr.

@DavidRicherby Evet, ayrımın gerekli olduğunu düşünüyorum. Yalnızca toplam veya üretken temsillerle çalışabiliyorsanız, daha fazla güce sahipsiniz.
Boyd Stephen Smith Jr.

Rice teoremi, bunları hesaplayan algoritmalarla değil, kısmi fonksiyonların özellikleriyle ilgilidir. Benzer şekilde, onları hesaplayan programlar değil, hesaplanabilir realitelerin özelliklerini soruyorum.
Shachaf
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.