Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
 |
Zasugerowano, aby ten artykuł (lub sekcję) zintegrować z artykułem Rozstrzygalność. |
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.
