Yanıtlar:
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-} .
Kanıt. Aşağıdaki gibi bir dizi gerçek : dikkate tüm bu :
Böylece ve dizileri ve ortak bir noktaya yakınlaşırlar . Eğer sonra alır ve eğer sonra alır .
Sonuç: ve iki gerçek olduğunu varsayalım ki ve . Sonra her Turing makinesi sonsuza kadar çalışır veya sonsuza kadar çalışmaz.
Kanıt. Teoremi olarak, bir Cauchy dizisi vardır şekilde Tüm . Genelliği kaybetmeden ve .
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 :
Eğer , sonra sonsuza kadar çalışır. Gerçekten, adımlarından sonra , olurdu ve bu yüzden , .
Eğer daha sonra sonsuza çalışmaz. Gerçekten, eğer olsaydı, o zaman olurdu ve bu yüzden , çelişiyordu .
Ş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.
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 tespit ile öğeleri ve ile öğeleri eşleyen .
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 .
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 .
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.