Rozstrzygalność
Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: istnieje algorytm, który oblicza odpowiedź na dowolne pytanie stawiane przez problem.
Problem może być nierozstrzygalny, jeśli jego rozstrzygalność prowadziłaby do powstania sprzeczności.
Zobacz też edytuj
Przypisy edytuj
Linki zewnętrzne edytuj
- Sabine Hossenfelder, Unpredictability, Undecidability, and Uncomputability, YouTube, 16 marca 2020 [dostęp 2021-03-14].