Obliczalność zbioru twierdzeń
Z Wikipedii, wolnej encyklopedii
(Przekierowano z Obliczalność)
 |
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.
