Obliczalność zbioru twierdzeń
Z Wikipedii
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, przypisać dowolne twierdzenie do zbioru Z.