Based on definitions that are more general than the one commonly used in recursion theory, Burgin argues that super-recursive algorithms, such as inductive Turing machines disprove the Church–Turing thesis.
بر پایهٔ تعریفاتی که عمومی‌تر از تعریفاتی هستند که در نظریهٔ تکرار معمولاً مورد استفاده قرار می‌گیرند، بورگین استدلال می‌کند که الگوریتم‌های مافوق بازگشتی، مثل ماشین‌های تورینگ استدلالی، قضیهٔ چرچ-تورینگ را رد کی کنند.