Lause 1: Yleistetyt Turingin koneet ja yksinkertaiset induktiiviset Turingin koneet ovat kaksi luokkaa superrekursiivisia algoritmeja, jotka ovat lähimpänä rekursiivisia algoritmeja. Lause 2: Yleistetty Turingin kone ja yksinkertainen induktiivinen Turingin kone ovat kaksi superrekursiivisten algoritmien luokkaa, jotka ovat lähimpänä rekursiivisia algoritmeja. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.