Я не фахівець з логіки, але я вважаю, що відповідь - ні . Якщо машина Тьюрінга зупиняється, а система є достатньо міцною, ви повинні мати змогу записати повну історію обчислень машини Тьюрінга на її вході. Коли можна перевірити, що результатом обчислення є завершальна послідовність переходів, можна побачити, що машина зупиняється. Незалежно від того, як ви формалізуєте машини Тьюрінга у своїй теорії, ви повинні мати змогу показати в будь-якій розумній теорії, що машина, яка зупиняється, насправді зупиняється. За аналогією подумайте, намагаючись довести, що кінцева сума дорівнює тій, якій вона дорівнює; наприклад, доведіть, що 5 + 2 + 3 + 19 + 7 + 6 = 42, або 5 + 5 + 5 = 15. Так само, як це завжди можливо, якщо кількість кроків є кінцевою, так і доводить результат кінцевих обчислень.
Як додатковий очевидний момент - навіть якщо ваша теорія є непослідовною, ви все одно можете показати, що машина зупиняється, насправді навіть якщо її немає, оскільки ви можете довести будь-який wff в неузгодженій теорії, незалежно від того, чи ні насправді правда.