משפט 1: מכונות טיורינג כלליות ומכונות טיורינג אינדוקטיביות פשוטות הם שני סוגים של אלגוריתמים סופר-רקורסיביים שהולכים הכי קרוב אלגוריתמים רקורסיביים. משפט 2: מכונות טיורינג כלליות ומכונות טיורינג סופר-ריקורסיביות הן שני סוגים של אלגוריתמים אינדוקטיביים פשוטים שהם הקרובים ביותר לאלגוריתמים ריקורסיביים. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.