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ż

• problem nierozstrzygalny

Linki zewnętrzne

• Sabine Hossenfelder, Unpredictability, Undecidability, and Uncomputability, YouTube, 16 marca 2020 [dostęp 2021-03-14].