Problem nierozstrzygalny: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
lit. |
|||
Linia 62:
i które ma tę własność, że jego zbiór wartości zawiera się w zbiorze liczb całkowitych.
Przedmiotem problemu jest pytanie czy dla każdej dodatniej liczby naturalnej istnieje takie wielokrotne złożenie funkcji <math>g(n)</math>, że jego wartość dla tej liczby to 1. Można pokazać że ten problem jest nierozstrzygalny<ref>{{cytuj |autor=Conway, John H. |data=1972 |tytuł=Unpredictable Iterations | praca=Proc. 1972 Number Theory Conf. | wydawca=Univ. Colorado | miejsce=Boulder |s=49–52}}</ref> to znaczy nie istnieje ogólny algorytm, który działając na dowolny ciąg par określających funkcje <math>g(n)</math> odpowiada na tak postawione pytanie poprawnie. Można
== Zobacz też ==
|