Rozstrzygalność
Wygląd
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 | edytuj kod]
Przypisy[edytuj | edytuj kod]
Linki zewnętrzne[edytuj | edytuj kod]
- Sabine Hossenfelder, Unpredictability, Undecidability, and Uncomputability, YouTube, 16 marca 2020 [dostęp 2021-03-14].