Obliczalność zbioru twierdzeń
Z EverybodyWiki Bios & Wiki
|
Zasugerowano, aby zintegrować ten artykuł z artykułem Rozstrzygalność. Nie opisano powodu propozycji integracji. |
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.
This article "Obliczalność zbioru twierdzeń" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Obliczalność zbioru twierdzeń.