Sætning 1: Generaliserede Turingmaskiner og simple induktive Turingmaskiner er to klasser af superrekursive algoritmer, der kommer tættest på de rekursive algoritmer. Sætning 2: Generaliserede Turingmaskiner og superrekursive Turingmaskiner er to klasser af enkle induktive algoritmer, der er tættest på rekursive algoritmer. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Nej, det gør jeg ikke.