Lause 1: Yleistetyt Turingin koneet ja yksinkertaiset induktiiviset Turingin koneet ovat kaksi luokkaa superrekursiivisia algoritmeja, jotka ovat lähimpänä rekursiivisia algoritmeja. Lause 2: Yleistetyt Turingin koneet ja superrekursiiviset Turingin koneet ovat kaksi yksinkertaisten induktiivisten algoritmien luokkaa, jotka ovat lähimpänä rekursiivisia algoritmeja. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.