Pirmasis sakinys: Apibendrintos Turingo mašinos ir paprastos indukcinės Turingo mašinos yra dvi superrekursiškų algoritmų klasės, kurios yra arčiausiai rekursiškų algoritmų. 2 sakinys: Apibendrintos Turingo mašinos ir superrekursiškos Turingo mašinos yra dvi paprastų indukcinių algoritmų klasės, kurios yra arčiausiai rekursivių algoritmų. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Ne, ne