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