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, kanał autorski na YouTube, 16 marca 2020 [dostęp 2021-03-14].
• ŁukaszŁ. Kamiński ŁukaszŁ., Teorie rozstrzygalne, „Delta”, styczeń 2026, ISSN 0137-3005 [dostęp 2026-01-02] .