Nieporównywalne liczby naturalne

11

„Nazwa największej gry liczbowej” wymaga od dwóch graczy potajemnego zapisania numeru, a zwycięzcą jest osoba, która zapisała większą liczbę. Gra zazwyczaj pozwala graczom zapisywać funkcje ocenione w danym momencie, więc byłoby również do przyjęcia.2)2)2)2)

Wartości funkcji Busy Beaver, , nie można ustalić (w ZFC lub w żadnym rozsądnym spójnym systemie aksjomatycznym) dla dużych wartości . W szczególności nie można ustalić zgodnie z tym artykułem . Nie oznacza to jednak, że nie możemy porównywać wartości funkcji Busy Beaver. Na przykład możemy udowodnić, że jest ściśle monotoniczny .bb(x)xbb(104)bb(x)

Załóżmy, że zezwalamy graczom na zapisywanie wyrażeń obejmujących kompozycje funkcji elementarnych, liczb naturalnych i funkcji Busy Beaver. Czy są dwa wyrażenia, które obaj gracze mogą zapisać, abyśmy mogli udowodnić w ZFC, że ustalenie zwycięzcy w ZFC jest niemożliwe (zakładając, że ZFC jest spójny)?

EDYCJA: Pierwotnie to pytanie brzmiało „... dowolne kombinacje funkcji obliczeniowych, liczb naturalnych i funkcji Busy Beaver”.

Jeśli pozwolimy przyjąć wartość jeśli [coś bezbożnego dużego i niewyrażalnego na tej stronie] i jeśli tak nie jest, to i są nieporównywalne.fa(x)3)bb(x)>7fa(104)6

To mnie nie satysfakcjonuje, głównie dlatego, że fa nie jest rozsądną funkcją dla kogoś, kto mógłby skorzystać z tej gry. Nie wiem jednak, jak wyrazić swoją intuicję na ten temat, więc ograniczyłem pytanie, aby uniknąć częściowych funkcji.

Stella Biderman
źródło
1
Można nierozstrzygalności być przedłużony do, powiedzmy, poszczególnych bitów? Jeśli tak, wtedy po prostu trzeba zrobić coś takiego porównania 3rd najmniej znaczącego bitu B B ( 10 4 ) z 8 najmniej znaczącego bitu. bb(104)bb(104)
mhum
2
@mhum takie pytania są trudne, ponieważ wartość jest w rzeczywistości zależna od kodowania. Istnieją kodowania, dla których B B ( x ) jest zawsze parzyste, na przykład. Rozumiem, że wszystkie pytania w tym zakresie są albo łatwe do obliczenia, albo otwarte, w zależności od kodowania. bb(x)bb(x)
Stella Biderman
1
Zgodnie z odpowiedzią w tym poście: cstheory.stackexchange.com/questions/9652/… , wygląda na to, że BB jest rzeczywiście ściśle monotoniczny
Avi Tal
Sztuka grania w takie gry polega na naginaniu zasad, więc nie sądzę, żeby liczyło się stwierdzenie, że jakaś funkcja jest nieracjonalna. Gdybyśmy grali w tę grę, zdecydowanie uderzyłbym cię najbardziej obrzydliwą funkcją, o jakiej mogę myśleć (i jestem logikiem).
Andrej Bauer,

Odpowiedzi:

9

Kiedy mówisz „nierozstrzygalny”, zakładam, że masz na myśli, że jest on niezależny od teorii takiej jak ZFC. Będą takie zdania jak (dla liczb naturalnych m , n ), które nie są ustalane przez ZFC, zakładając, że ZFC jest spójne. Ponieważ w przeciwnym razie moglibyśmy obliczyć funkcję B, po prostu szukając dowodów w ZFC takich instrukcji.

b(m)>n
mnb

Ponieważ jest zakończone Turinga, istnieje pewna maszyna Turinga Φ z Con (ZFC)bΦ akceptuje z oracle B (powiedzmy na wejściu 0) i ¬ Con (ZFC)Φb¬ odrzuca.Φ

Zakładając, że faktycznie Con (ZFC) jest prawdą, wiemy, że akceptuje i istnieje pewien zbiór faktów B ( m i ) = n i , 1 i k, który został użyty w obliczeniach (możemy to ustawić tak, aby dostęp do Oracle działa w ten sposób). Zatem k i = 1 ( B ( m i ) - n i ) 2 > 0 jest fałszem, ale fakt ten nie jest możliwy do udowodnienia w ZFC, w przeciwnym razie ZFC udowodniłby swoją spójność. Oczywiście można to przepisać jako kΦb(mja)=nja1jak

ja=1k(b(mja)-nja)2)>0
i tak zapewne (*) zapewniaodpowiedźTakna Twoje pytanie.
(*)ja=1kb(mja)2)+nja2)>ja=1k2)b(mja)nja

Jednak nie sądzę, możemy dowiedzieć się, co te liczby , n i są, ponieważ zapytania są adaptacyjne (co jest proszony o zależy od odpowiedzi na poprzednie pytania, a nie wiemy, te odpowiedzi).mjanja

Bjørn Kjos-Hanssen
źródło
1
n,m
5
n0=b(7910)b(7910)n0