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ż
problem nierozstrzygalny
Linki zewnętrzne Sabine Hossenfelder, Unpredictability, Undecidability, and Uncomputability, kanał autorski na YouTube, 16 marca 2020 [dostęp 2021-03-14].
Kategoria:Teoria obliczeń