Obliczalność zbioru twierdzeń

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Obliczalność zbioru twierdzeń – zbiór twierdzeń Z jest obliczalny (ogólnie rekurencyjny lub rozstrzygalny) wtedy, gdy istnieje efektywna metoda, pozwalająca w skończonej liczbie kroków rozstrzygnąć, czy dowolne twierdzenie należy do zbioru Z.