(Nierozstrzygalny Nierozstrzygalny W teorii obliczalności problem nierozstrzygalny to rodzaj problemu obliczeniowego, który wymaga odpowiedzi tak/nie, ale gdzie nie może być żadnego programu komputerowego, który zawsze daje poprawną odpowiedź; to znaczy, że każdy możliwy program czasami daje złą odpowiedź lub działa w nieskończoność bez udzielania żadnej odpowiedzi.https://en.wikipedia.org › wiki › List_of_undecidable_problems
Lista nierozstrzygalnych problemów – Wikipedia
oznacza po prostu nieobliczalny w kontekście problemu decyzyjnego, którego odpowiedź (lub wynik) jest „prawda” lub „fałsz”. Nieobliczalny to problem, dla którego nie ma algorytmu, który mógłby go rozwiązać.
Czym są problemy nieobliczalne?
W teorii obliczalności problemem nierozstrzygalnym jest rodzaj problemu obliczeniowego, który wymaga odpowiedzi tak/nie, ale w którym nie może istnieć żaden program komputerowy, który zawsze podaje prawidłowe odpowiadać; to znaczy, że każdy możliwy program czasami podawałby złą odpowiedź lub działałby w nieskończoność, nie podając żadnej odpowiedzi.
Co to jest liczba nieobliczalna?
Stała Chaitina jest przykładem (właściwie rodziną przykładów) liczby nieobliczalnej. reprezentuje prawdopodobieństwo, że losowo wygenerowany program (w pewnym modelu) zatrzyma się. Można ją obliczyć w przybliżeniu, ale nie ma (co jest udowodnione) algorytmu do obliczania jej z dowolną precyzją.
Jaki jest problemobliczalna?
Problem matematyczny jest obliczalny, jeśli można go zasadniczo rozwiązać za pomocą urządzenia obliczeniowego. Niektóre popularne synonimy słowa „obliczalny” to „rozwiązywalny”, „rozstrzygalny” i „rekurencyjny”. Hilbert wierzył, że wszystkie problemy matematyczne można rozwiązać, ale w latach trzydziestych Gödel, Turing i Church pokazali, że tak nie jest.
Czy pusty zestaw jest obliczalny?
Pusty zestaw to computable. Cały zbiór liczb naturalnych jest obliczalny. Każda liczba naturalna (zgodnie z definicją w standardowej teorii mnogości) jest obliczalna; czyli zbiór liczb naturalnych mniejszych niż dana liczba naturalna jest obliczalny.