Rozstrzygalność

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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