O LICZBACH NIEOBLICZALNYCH I ICH ZWIĄZKACH Z INFORMATYKĄ
Jakie obiekty matematyczne nazywa się nieobliczalnymi?
Jakie obiekty matematyczne nazywa się nieobliczalnymi? Najczęściej: a) liczby b) funkcje c) problemy (nierozwiązywalne za pomocą algorytmów: zasadniczo lub praktycznie) nieobliczalne = algorytmicznie niedostępne
Problemy nieobliczalne Typowe przykłady?
Problemy nieobliczalne Typowe przykłady? Problem spełnialności (nieobliczalny praktycznie) Czy istnieje takie wartościowanie zmiennych zdaniowych, przy którym formuła zawierająca n zmiennych jest prawdziwa? ( b ( a b)) ( a)) 1 0 1 0 Problem równań diofantycznych (nieobliczalny zasadniczo) Czy dane równanie diofantyczne, z dowolną liczbą niewiadomych i całkowitymi współczynnikami, ma choć jedno rozwiązanie w zbiorze liczb całkowitych? x 2 3 2 + 2y 4y + z 4 = 0
Turingowski problem stopu Problem stopu (maszyny Turinga) Dla dowolnej maszyny MT i i jej dowolnych danych wejściowych D j odpowiedz jednoznacznie, czy MT i zatrzyma się dla danych D j tj. zakończy przetwarzanie danych D j? Mniej technicznie: Czy istnieje taki uniwersalny algorytm, który analizując zapis każdego innego algorytmu oraz dowolnych jego danych, rozstrzygnie jednoznacznie czy analizowany algorytm zakończy przetwarzanie swoich danych, czy też będzie je przetwarzał w nieskończoność?
Co problemy (nieobliczalne) mogą mieć wspólnego z liczbami?
Co problemy (nieobliczalne) mogą mieć wspólnego z liczbami? Dwa spostrzeżenia 1) Jeśli pewien problem ma algorytmiczne rozwiązanie, to istnieje rozwiązujący go program komputerowy, a ponieważ komputerowa realizacja programu jest ciągiem obliczeń, to sam problem ma pewne rozwiązanie liczbowe (które człowiek tak lub inaczej interpretuje). Krótko: rozwiązanie problemu jest liczbą. 2) Rozwiązujący dany problem program komputerowy, można przedstawić jako pewną liczbę (przyjmując określoną metodę kodowania). Krótko: metoda rozwiązania (program) jest liczbą. (!)
Co problemy (nieobliczalne) mogą mieć wspólnego z liczbami? Wstępna konkluzja Jeśli pewien problem nie ma żadnych algorytmicznych rozwiązań (w dziedzinie algorytmów dla maszyn cyfrowych), a chcemy utrzymać pojęcie liczby kodującej rozwiązanie, to musimy przyjąć, że: Hipotetyczne rozwiązanie problemu cyfrowo nieobliczalnego jest pewną specjalną liczbą: liczbą nieobliczalną.
Jakiego typu liczbami są liczby nieobliczalne?
Jakiego typu liczbami są liczby nieobliczalne? Czy liczby nieobliczalne są po prostu liczbami niewymiernymi?
Czy liczby nieobliczalne są po prostu liczbami niewymiernymi? NIE. Liczba nieobliczalna jest to taka specyficzna liczba niewymierna, której nie można obliczyć (algorytmicznie wyznaczyć) z dowolną zadaną dokładnością. Można ją obliczyć tylko z pewną skończoną dokładnością. Należy odróżnić zatem niewymierne liczby obliczalne i niewymierne liczby nieobliczalne.
Czy liczba π jest nieobliczalna?
Czy liczba π jest nieobliczalna? NIE. Liczbę π można przedstawić w postaci szeregu liczbowego, który to szereg można zinterpretować jako algorytm jej obliczania z dowolną zadaną dokładnością. π = 4 4 3 + 4 5 4 7 +... = ( 1) 4 = 2n + n n 0 1 e 1 = 1+ + 1! 1 + 2! 1 +... 3! = n= 0 1 n!
Co liczby nieobliczalne mają wspólnego z maszynami Turinga?
Co liczby nieobliczalne mają wspólnego z maszynami Turinga? Za pomocą maszyn Turinga definiuje się pojęcie obliczania. Obliczać -- to znaczy wykonywać program dla maszyny Turinga. A ZATEM
Co liczby nieobliczalne mają wspólnego z maszynami Turinga? Za pomocą maszyn Turinga definiuje się pojęcie obliczania. Obliczać to znaczy wykonywać program dla maszyny Turinga. A ZATEM Liczba obliczalna jest to taka liczba rzeczywista, dla której istnieje maszyna Turinga (inaczej: program dla maszyny cyfrowej) pozwalająca obliczyć ją z dowolną zadaną dokładnością. Liczba nieobliczalna nie ma powyższej własności: jest niewyznaczalna za pomocą maszyn Turinga.
Liczby (nie)obliczalne kilka określeń Liczby obliczalne (wg. Turinga) Liczby nieobliczalne (wg. Turinga) Istnieje dla nich algorytm obliczania. Istnieje maszyna Turinga obliczająca je z dowolną zadaną dokładnością. Istnieje algorytm obliczania ich kolejnych cyfr. Nie istnieje dla nich algorytm obliczania. Żadna maszyna Turinga nie potrafi obliczyć ich z dowolną zadaną dokładnością. Nie istnieje algorytm obliczania ich kolejnych cyfr.
Różne klasy liczb Na osi CZASU liczby obliczalne i nieobliczalne liczby naturalne liczby wymierne liczby niewymierne zero liczby ujemne liczby rzeczywiste liczby zespolone Na osiach LICZBOWYCH Im i liczby nieobliczalne? -1 0 3 1 2 4 Re
Definiowanie liczb nieobliczalnych Niektóre liczby nieobliczalne można zdefiniować, nie podając jednak efektywnego schematu wyznaczania ich kolejnych cyfr. Poglądowy przykład: a) Tworzymy uporządkowaną listę wszelkich możliwych maszyn Turinga MT i (z danymi wejściowymi na taśmach). b) Definiujemy liczbę zapisaną binarnie L = 0,b 1 b 2 b 3 b 4 przy czym b i = 1, gdy MT i kończy pracę b i = 0, gdy MT i działa w nieskończoność
Od niewymierności do nieobliczalności 1. Istnieją liczby niewymierne. (Pitagorejczycy, VI w p.n.e) 2. Liczby naturalne i wymierne są równoliczne. (G. Cantor, koniec wieku XIX) 3. Liczby naturalne i rzeczywiste nie są równoliczne. (G. Cantor, koniec wieku XIX) 4. Zbiór liczb niewymiernych ma moc continuum. (G. Cantor, koniec wieku XIX) 5. Istnieją różne podklasy liczb niewymiernych. (XIX i XX wiek) 6. Istnieją niewymierne liczby nieobliczalne. (Turing 1936) 7. Zbiór liczb nieobliczalnych ma moc continuum. 8. Liczby nieobliczalne są czysto losowe. (G. Chaitin 1987)