أطروحة تشرش-تورينغ  في نظرية القابلية للحساب، تعرف أطروحة تشرش-تورنغ Church-Turing Thesis، أو حدسية تشرش-تورنغ Church-Turing Conjecture، على أنها فرضية Hypothesis حول طبيعة الدوال الحسابية Computable functions. تنص الفرضية على أن الأعداد الطبيعية تكون قابلة للحساب بعقل إنساني وبخوارزمية، مع تجاهل القيود على الموارد، إذا وفقط كانت محسوبة باستخدام آلة تورنغ. الأطروحة سميت على عالم الرياضيات الأمريكي ألونزو تشرش وعالم الرياضيات البريطاني آلان تورنغ. قبل التعريف الدقيق لنظرية الحاسوبية، علماء الرياضيات غالباً ماكانوا يستخدمون المصطلح غير الرسمي للحساب الفعال Effectively calculable لوصف الوظائف المحسوبة بأساليب ورقة وقلم رصاص. في الثلاثينات من القرن الماضي، بذلت محاولات مستقلة عدة لإضفاء الطابع الرسمي على مفهوم الحاسوبية.  في نظرية الحوسبة، أطروحة تشرش - تورينغ (المعروفة أيضًا باسم أطروحة الحوسبة، أطروحة تورينج - تشيرش، تخمين تشيرش - تورينج، وأطروحة تشيرش، وتخمين تشيرش، وأطروحة تورينج) هي أطروحة حول الطبيعة من الوظائف الحسابية. تنص على أنه يمكن حساب دالة على الأعداد الطبيعية بطريقة فعالة إذا وفقط إذا كانت قابلة للحساب بواسطة آلة تورينج. تمت تسمية الأطروحة على اسم عالم الرياضيات الأمريكي ألونزو تشيرش وعالم الرياضيات البريطاني آلان تورينج. قبل التعريف الدقيق للوظيفة الحسابية، غالبًا ما استخدم علماء الرياضيات المصطلح غير الرسمي القابل للحساب بشكل فعال لوصف الوظائف التي يمكن حسابها بطرق الورق والقلم. في الثلاثينيات من القرن الماضي، جرت عدة محاولات مستقلة لإضفاء الطابع الرسمي على مفهوم الحوسبة:   أثبتت تشيرش وكلين وتورينغ [11] أن هذه الفئات الثلاثة المحددة رسميًا للوظائف الحسابية تتطابق: الوظيفة قابلة للحساب λ إذا وفقط إذا كانت تورينغ قابلة للحساب، وإذا وفقط إذا إنه تكراري عام. وقد دفع هذا علماء الرياضيات وعلماء الكمبيوتر إلى الاعتقاد بأن مفهوم الحوسبة يتميز بدقة بهذه العمليات المكافئة الثلاث. المحاولات الرسمية الأخرى لوصف القدرة الحسابية عززت هذا الاعتقاد لاحقًا (انظر أدناه). من ناحية أخرى، تنص أطروحة تشيرش - تورينغ على أن الفئات الثلاث المحددة رسميًا للوظائف الحسابية تتوافق مع المفهوم غير الرسمي لوظيفة قابلة للحساب بشكل فعال. على الرغم من أن الأطروحة تحظى بقبول شبه عالمي، إلا أنه لا يمكن إثباتها رسميًا لأن مفهوم إمكانية الحساب الفعال لا يتم تعريفه إلا بشكل غير رسمي. منذ نشأتها، نشأت اختلافات في الأطروحة الأصلية، بما في ذلك عبارات حول ما يمكن أن يتحقق جسديًا بواسطة الكمبيوتر في عالمنا (أطروحة تشيرش - تورنج المادية) وما يمكن حسابه بكفاءة (أطروحة تشيرش - تورينج (نظرية التعقيد)). لا تعود هذه الاختلافات إلى تشيرش أو تورينج، ولكنها تنشأ من العمل اللاحق في نظرية التعقيد والفيزياء الرقمية. الأطروحة لها أيضًا آثار على فلسفة العقل.  في ما يلي، ستعني الكلمات «قابلة للحساب بشكل فعال» «تم إنتاجها بأي وسيلة» فعالة «حدسية على الإطلاق» و «قابلة للحساب بشكل فعال» ستعني «تم إنتاجها بواسطة آلة توريتغ أو جهاز ميكانيكي مكافئ». «تعريفات» تورينج الواردة في حاشية في رسالة الدكتوراه عام 1938. أطروحة أنظمة المنطق على أساس الترتيب، وتشرف عليها تشيرش، هي نفسها تقريبًا: سنستخدم تعبير «وظيفة قابلة للحساب» للإشارة إلى دالة يمكن حسابها بواسطة آلة، وندع «قابلة للحساب بشكل فعال» تشير إلى الفكرة البديهية دون تحديد محدد مع أي من هذه التعريفات.يمكن ذكر الأطروحة على النحو التالي: كل دالة قابلة للحساب بشكل فعال هي وظيفة قابلة للحساب. صرح تشيرش أيضًا أنه «لن يتم اعتبار أي إجراء حسابي كخوارزمية ما لم يتم تمثيله كآلة تورينج». صرح تورينج بذلك على النحو التالي:قيل ... أن «دالة قابلة للحساب بشكل فعال إذا كان من الممكن العثور على قيمها من خلال عملية ميكانيكية بحتة». قد نأخذ هذا حرفياً، ونفهم أنه من خلال عملية ميكانيكية بحتة، يمكن تنفيذها بواسطة آلة. التطور ... يؤدي إلي ... لتحديد الحاسوبية مع الحسابية فعالة. [ هي الحاشية المقتبسة أعلاه. ]   إحدى المشكلات المهمة التي واجهها علماء المنطق في ثلاثينيات القرن الماضي كانت مشكلة مسألة القرار لديفيد هيلبرت وويلهلم أكرمان، والتي تساءلت عما إذا كان هناك إجراء ميكانيكي لفصل الحقائق الرياضية عن الأكاذيب الرياضية. تطلب هذا المسعى أن يتم تثبيت فكرة «الخوارزمية» أو «القابلية للحساب الفعال»، على الأقل بشكل كافٍ لبدء المهمة. لكن منذ البداية بدأت محاولات ألونزو تشيرش بجدل مستمر حتى يومنا هذا. فكرة «القابلية للحساب الفعال» لتكون (1) «بديهية أو بديهية» في نظام بديهي، (2) مجرد تعريف «حدد» اثنين أو أكثر من الافتراضات، (3) فرضية تجريبية لتكون التحقق من خلال ملاحظة الأحداث الطبيعية، أو (4) مجرد اقتراح من أجل الجدل (أي «أطروحة»).  في سياق دراسة المشكلة، قدم تشرش وتلميذه ستيفن كلاين مفهوم الوظائف القابلة للتحديد، وتمكنا من إثبات أن العديد من الفئات الكبيرة من الوظائف التي يتم مواجهتها بشكل متكرر في نظرية الأعداد كانت قابلة للتحديد λ. بدأ النقاش عندما اقترحت تشيرش على جودل أن على المرء أن يعرف الوظائف «القابلة للحساب بشكل فعال» كوظائف قابلة للتحديد λ. ومع ذلك، لم يكن جودل مقتنعًا ووصف الاقتراح بأنه «غير مرض تمامًا». بدلاً من ذلك، في المراسلات مع تشيرش (حوالي 1934-1935)، اقترح جودل إضفاء البديهية على مفهوم «الحساب الفعال». في الواقع، في رسالة أرسلها تشرش عام 1935 إلى كلاين، أفاد تشرش بأن:  لكن جودل لم يقدم أي إرشادات أخرى. في النهاية، كان يقترح تكراره، بعد تعديله من خلال اقتراح هيربراند، الذي ذكره جودل بالتفصيل في محاضراته عام 1934 في برينستون نيوجيرسي (قام كلاين وروسر بنسخ الملاحظات). لكنه لم يعتقد أنه يمكن تحديد الفكرتين بشكل مرضٍ «إلا بطريقة الكشف عن مجريات الأمور».  بعد ذلك، كان من الضروري تحديد وإثبات تكافؤ مفهومين للقدرة على الحساب الفعال. مُجهزًا بحساب التفاضل والتكامل λ والعودة «العامة»، قدم ستيفن كلاين بمساعدة تشرش وجي باركلي روسر البراهين (1933، 1935) لإثبات أن الحسابين متكافئان. قام تشرش بعد ذلك بتعديل أساليبه لتشمل استخدام عودية هيربراند-جودل ثم أثبت (1936) أن مسألة القرار غير قابل للحل: لا توجد خوارزمية يمكنها تحديد ما إذا كانت الصيغة جيدة التكوين.  بعد عدة سنوات في رسالة إلى ديفيس (حوالي 1965)، قال جودل إنه «في وقت هذه المحاضرات [1934]، لم يكن مقتنعًا على الإطلاق بأن مفهومه للتكرار يشمل جميع عمليات التكرار الممكنة». بحلول عام 1963 - 1964، تنصل جودل من تكرار هيربراند-جودل وحساب التفاضل والتكامل لصالح آلة تورينج كتعريف لـ «الخوارزمية» أو «الإجراء الميكانيكي» أو «النظام الرسمي». فرضية تؤدي إلى قانون طبيعي؟: في أواخر عام 1936، تم تسليم ورقة آلان تورينج (التي تثبت أيضًا أن مشكلة مسألة القرار غير قابلة للحل) شفهيًا، ولكنها لم تظهر بعد في الطباعة. من ناحية أخرى، ظهرت ورقة Emil Post لعام 1936 وتم اعتمادها بشكل مستقل عن عمل تورينج. اختلف بوست بشدة مع «تحديد» تشيرش للحساب الفعال باستخدام حساب التفاضل والتكامل λ والتكرار. بدلاً من ذلك، اعتبر فكرة «القابلية للحساب الفعال» مجرد «فرضية عمل» قد تؤدي بالاستدلال الاستقرائي إلى «قانون طبيعي» بدلاً من «تعريف أو بديهية». انتقدت تشيرش هذه الفكرة «بشدة». وهكذا كان بوست في ورقته البحثية عام 1936 يستبعد أيضًا اقتراح كورت جودل للكنتش في 1934-1935 بأن الأطروحة يمكن التعبير عنها كبديهية أو مجموعة من البديهيات.  يضيف تورينج تعريفًا آخر، يساوي روسر الثلاثة: في غضون وقت قصير فقط، ظهرت ورقة تورينج 1936-1937 «حول الأرقام المحسوبة، مع تطبيق على مشكلة مسألة القرار». ذكر فيه فكرة أخرى عن «الحوسبة الفعالة» مع إدخال آلاته (المعروفة الآن باسم النموذج الحسابي المجرد لآلة تورينج). وفي رسم إثبات تمت إضافته باعتباره «ملحقًا» إلى ورقته البحثية 1936-1937، أظهر تورينج أن فئات الوظائف المحددة بواسطة حساب التفاضل والتكامل λ وآلات تورينج تتطابق. كان تشرش سريعًا في إدراك مدى جاذبية تحليل تورينج. في مراجعته لورقة تورينج أوضح أن فكرة تورينج جعلت «التماثل بفعالية في المعنى العادي (غير المحدد صراحة) واضحًا على الفور». في غضون بضع سنوات (1939) سيقترح تورينج، مثل تشرش وكلين من قبله، أن تعريفه الرسمي لعامل الحوسبة الميكانيكية هو التعريف الصحيح. وهكذا، بحلول عام 1939، اقترحت كل من تشيرش (1934) وتورنج (1939) بشكل فردي أن «الأنظمة الرسمية» يجب أن تكون تعريفات «للحساب الفعال».  أطروحة تشرش - تورينغ: ستيفن كلاين، في مقدمة عن الرياضيات، انتقل أخيرًا إلى تسمية «أطروحة تشيرش» و «أطروحة تورينج»، مستخدمًا نظريته في القابلية للتكرار. بعد أن تحول كلاين من تقديم عمله في مصطلحات تعريف تشيرش-كلين لامدا، إلى التكرار العودي جودل-كلين (الوظائف العودية الجزئية). في هذا الانتقال، عدل كلين وظائف جوديل العودية العامة للسماح بإثبات عدم قابلية حل المشكلات في حدس آي جي براور. في كتابه للخريجين حول المنطق، تم تقديم «أطروحة تشيرش» وتبيّن أن النتائج الرياضية الأساسية غير قابلة للتحقيق. بعد ذلك، يواصل كلاين تقديم «أطروحة تورينج»، حيث تظهر النتائج على أنها غير قابلة للحساب، مستخدمًا اشتقاقه المبسط لآلة تورينج بناءً على عمل إميل بوست. تم إثبات تكافؤ كلتا الأطروحتين باستخدام «نظرية XXX». أخيرًا، استخدم كلاين لأول مرة مصطلح «أطروحة تشيرش - تورينج» في قسم يساعد فيه على تقديم توضيحات للمفاهيم الواردة في ورقة ألان تورينج «مشكلة الكلمة في شبه المجموعات مع الإلغاء»، كما هو مطلوب في نقد من ويليام بون.  أدت محاولة فهم فكرة «الحوسبة الفعالة» بشكل أفضل إلى قيام روبن غاندي (تلميذ وصديق تورينج) في عام 1980 بتحليل حساب الآلة (على عكس الحوسبة البشرية التي تقوم بها آلة تورينج). أدى فضول غاندي حول الأوتوماتا الخلوية وتحليلها (بما في ذلك لعبة الحياة لكونواي) والتوازي والأوتوماتا البلورية، إلى اقتراح أربعة «مبادئ (أو قيود) ... وهو ما يقال، يجب أن ترضي أي آلة». رابعه الأكثر أهمية، «مبدأ السببية» يقوم على «السرعة المحدودة لانتشار التأثيرات والإشارات؛ الفيزياء المعاصرة ترفض إمكانية الفعل اللحظي عن بعد». من هذه المبادئ وبعض القيود الإضافية - (1 أ) حد أدنى على الأبعاد الخطية لأي جزء من الأجزاء، (1 ب) حد أعلى لسرعة الانتشار (سرعة الضوء)، (2) التقدم المنفصل للآلة، و (3) السلوك الحتمي - أنتج نظرية مفادها أن «ما يمكن حسابه بواسطة جهاز يفي بالمبادئ من الأول إلى الرابع يمكن حسابه.» في أواخر التسعينيات، حلل ويلفريد سيغ مفاهيم تورينج وغاندي عن «القابلية للحساب الفعال» بقصد «شحذ المفهوم غير الرسمي، وصياغة سماته العامة بشكل بديهي، والتحقيق في الإطار البديهية». في كتابه عامي 1997 و 2002 عمل يعرض زيغ سلسلة من القيود على سلوك كومبيوتر - «وكيل البشرية الحوسبة الذي ينطلق ميكانيكيا». تختصر هذه القيود إلى:   يبقى الأمر قيد المناقشة النشطة داخل المجتمع الأكاديمي.  لا يمكن اعتبار الأطروحة سوى تعريف رياضي عادي. تشير تعليقات جوديل على الموضوع إلى وجهة النظر هذه، على سبيل المثال «تم تحديد التعريف الصحيح للحسابات الميكانيكية بما لا يدع مجالاً للشك بواسطة تورينج». تم تقديم قضية عرض الأطروحة على أنها ليست أكثر من تعريف صريحًا بواسطة روبرت سواري، حيث قيل أيضًا أن تعريف تورينج للقدرة الحسابية ليس أقل احتمالًا أن يكون صحيحًا من تعريف إبسيلون-دلتا للمتصل المستمر. وظيفة.  تم اقتراح أشكال أخرى (إلى جانب العودية، حساب التفاضل والتكامل، وآلة تورينج) لوصف إمكانية الحساب / الحوسبة الفعالة. يضيف ستيفن كلاين (1952) إلى القائمة الوظائف " المعقولية في النظام S " لكورت جودل 1936، وأنظمة إميل بوست (1943، 1946) «تشيرش وتسمى أيضًا الأنظمة العادية». في الخمسينيات من القرن الماضي، قام هاو وانج ومارتن ديفيس بتبسيط نموذج آلة تورينج ذات الشريط الواحد (انظر آلة ما بعد تورينج). قام مارفن مينسكي بتوسيع النموذج ليشمل شريطين أو أكثر وقام بتبسيط الأشرطة بشكل كبير إلى «عدادات مقلوبة»، والتي طورها ميلزاك ولامبك إلى ما يعرف الآن باسم نموذج آلة العداد. في أواخر الستينيات وأوائل السبعينيات من القرن الماضي، قام الباحثون بتوسيع نموذج آلة العداد إلى آلة التسجيل، وهي قريبة قريبة من المفهوم الحديث للكمبيوتر. تشمل النماذج الأخرى المنطق التوافقي وخوارزميات ماركوف. يضيف جورخيف نموذج آلة المؤشر لكولموغوروف ويوسبنكي (1953، 1958): «... لقد أرادوا ذلك فقط ... أقنعوا أنفسهم بأنه لا توجد طريقة لتوسيع مفهوم الوظيفة الحسابية.»   تتضمن كل هذه المساهمات أدلة على أن النماذج مكافئة حسابيًا لآلة تورينج؛ ويقال أن هذه النماذج قد اكتملت تورينج. نظرًا لأن كل هذه المحاولات المختلفة لإضفاء الطابع الرسمي على مفهوم «الحساب الفعال / الحوسبة» قد أسفرت عن نتائج معادلة، فمن المفترض الآن بشكل عام أن أطروحة تشيرش-تورينج صحيحة. في الواقع، اقترح جوديل (1936) شيئًا أقوى من هذا؛ لاحظ أن هناك شيئًا «مطلقًا» حول مفهوم "معقول في S ":  غالبًا ما تستدعي البراهين في نظرية الحوسبة أطروحة تشيرش-تورينغ بطريقة غير رسمية لتأسيس قابلية حساب الوظائف مع تجنب التفاصيل (الطويلة جدًا غالبًا) التي قد تكون متضمنة في إثبات رسمي صارم. لإثبات أن الوظيفة قابلة للحساب بواسطة آلة تورينج، يُعتبر عادةً كافيًا إعطاء وصف إنكليزي غير رسمي لكيفية حساب الوظيفة بفعالية، ثم استنتاج «من خلال أطروحة تشيرش تورينج» أن الوظيفة قابلة للحساب (بالتساوي)، متكرر جزئي). يعطي ديرك فان دالين المثال التالي من أجل توضيح هذا الاستخدام غير الرسمي لأطروحة تشيرش - تورينغ. من أجل جعل المثال أعلاه صارمًا تمامًا، يجب على المرء أن يبني بعناية آلة تورينج، أو دالة، أو يستدعي بعناية بديهيات العودية، أو في أفضل الأحوال، يستدعي بذكاء نظريات مختلفة لنظرية الحوسبة. ولكن نظرًا لأن مُنظِّر الحوسبة يعتقد أن قابلية تورينج الحوسبية تلتقط بشكل صحيح ما يمكن حسابه بشكل فعال، ولأن الإجراء الفعال مكتوب باللغة الإنجليزية لتحديد المجموعة ب، فإن منظري الحوسبة يقبل هذا كدليل على أن المجموعة عودية بالفعل.  دفع نجاح أطروحة تشيرش - تورينغ إلى اقتراح اختلافات في الأطروحة. على سبيل المثال، تنص أطروحة تشيرش - تورينج الفيزيائية على أن: "جميع الوظائف المحسوبة فيزيائيًا قابلة للحساب من قبل تورينج." لا تذكر أطروحة تشيرش تورينج شيئًا عن الكفاءة التي يمكن بها لأحد النماذج الحسابية محاكاة نموذج آخر. لقد ثبت على سبيل المثال أن آلة تورينغ العامة (متعددة الأشرطة) تعاني فقط من عامل تباطؤ لوغاريتمي في محاكاة أي آلة تورينج. تتناول مجموعة متنوعة من أطروحة تشيرش-تورينج ما إذا كان يمكن محاكاة نموذج حسابي تعسفي ولكن "معقول" بكفاءة. وهذا ما يسمى أطروحة الجدوى، والمعروفة أيضًا باسم أطروحة التعقيد (الكلاسيكية) - تشيرش النظرية - أطروحة تورينج أو أطروحة تشيرش الموسعة - أطروحة تورينج، والتي لا ترجع إلى تشيرش أو تورينج، بل تم تحقيقها تدريجيًا في تطوير نظرية التعقيد. تنص على: " يمكن لآلة تورينج الاحتمالية محاكاة أي نموذج واقعي للحساب بكفاءة." كلمة "فعال" هنا تعني ما يصل إلى تخفيضات كثيرة الحدود. كانت هذه الأطروحة في الأصل تسمى أطروحة التعقيد الحسابي - تشيرش النظرية - تورينج من قبل إيثان برنشتاين وأوميش فازيراني (1997). تفترض أطروحة التعقيد - تشيرش - تورينج النظرية أن جميع نماذج الحساب "المعقولة" تنتج نفس فئة المشكلات التي يمكن حسابها في زمن متعدد الحدود. بافتراض التخمين بأن الوقت متعدد الحدود الاحتمالي (BPP) يساوي وقت كثير الحدود الحتمي (P)، فإن كلمة "احتمالية" اختيارية في أطروحة التعقيد - نظرية تشيرش - تورينج. قدم سيس إف سلوت وبيتر فان إيمدي بوا أطروحة مماثلة، تسمى أطروحة الثبات. وهو ينص على: " معقولة "محاكاة بعضها البعض ضمن ما يحدها من النفقات العامة في وقت والنفقات العامة ثابت عامل في الفضاء." ظهرت الأطروحة في الأصل في ورقة بحثية في إس تي أو سي 84، والتي كانت أول ورقة توضح أنه يمكن تحقيق وقت متعدد الحدود الزائد والمساحة الثابتة في نفس الوقت لمحاكاة آلة الوصول العشوائي على آلة تورينج.  إذا تم إثبات أن بي كيو بي عبارة عن مجموعة شاملة صارمة من بي بي بي، فسيؤدي ذلك إلى إبطال نظرية التعقيد - نظرية تشيرش - تورينج. بمعنى آخر، ستكون هناك خوارزميات كمومية فعالة تؤدي مهامًا لا تحتوي على خوارزميات احتمالية فعالة. ومع ذلك، فإن هذا لن يبطل أطروحة تشيرش-تورينغ الأصلية، حيث يمكن دائمًا محاكاة الكمبيوتر الكمومي بواسطة آلة تورينج، ولكنه سيبطل نظرية التعقيد الكلاسيكي - نظرية تشيرش - تورينج لأسباب تتعلق بالكفاءة. «يمكن لآلة تورينج الكمومية أن تحاكي أي نموذج واقعي للحساب بكفاءة.»  يزعم يوجين إيبرباخ وبيتر فيجنر أن أطروحة كنيسة-تورينج تُفسَّر أحيانًا على نطاق واسع جدًا، مشيرين إلى «بالرغم من [... ] آلات تورنج تعبر عن سلوك الخوارزميات، والتأكيد على أوسع خوارزميات التقاط بالضبط ما يمكن حسابها غير صالح». يزعمون أن أشكال الحساب التي لم تلتقطها الأطروحة ذات صلة اليوم، وهي المصطلحات التي يسمونها حساب تورينج الفائق.  فسر الفلاسفة أطروحة كنيسة تورينج على أنها لها آثار على فلسفة العقل. يقول ب. جاك كوبلاند أنه سؤال تجريبي مفتوح حول ما إذا كانت هناك عمليات فيزيائية حتمية فعلية والتي، على المدى الطويل، تستعصي على المحاكاة بواسطة آلة تورينج. علاوة على ذلك، يقول إنه سؤال تجريبي مفتوح حول ما إذا كانت أي من هذه العمليات متورطة في عمل الدماغ البشري. هناك أيضًا بعض الأسئلة المفتوحة المهمة التي تغطي العلاقة بين أطروحة تشيرش-تورينغ والفيزياء، وإمكانية الحوسبة المفرطة. عند تطبيقها على الفيزياء، فإن الأطروحة لها عدة معانٍ محتملة:   هناك العديد من الاحتمالات التقنية الأخرى التي تقع خارج أو بين هذه الفئات الثلاث، ولكنها تعمل على توضيح نطاق المفهوم. الجوانب الفلسفية للأطروحة، فيما يتعلق بكل من أجهزة الكمبيوتر الفيزيائية والبيولوجية، تمت مناقشتها أيضًا في كتاب أوديفريدي لعام 1989 حول نظرية العودية.   يمكن للمرء أن يحدد رسميًا الوظائف غير القابلة للحساب. ومن الأمثلة المعروفة لمثل هذه الوظيفة وظيفة بازي بيفر. تأخذ هذه الوظيفة مُدخلًا n وتُرجع أكبر عدد من الرموز يمكن لآلة تورينغ مع حالات n طباعتها قبل التوقف، عند التشغيل بدون إدخال. إيجاد حد أعلى لوظيفة القندس المشغول يعادل حل مشكلة التوقف، وهي مشكلة معروفة بأنها غير قابلة للحل بواسطة آلات تورينج. نظرًا لأن وظيفة القندس المشغول لا يمكن حسابها بواسطة آلات تورينج، تنص أطروحة تشيرش-تورينج على أنه لا يمكن حساب هذه الوظيفة بشكل فعال بأي طريقة.  تسمح العديد من النماذج الحسابية بحساب وظائف (تشيرش-تورينغ) غير القابلة للحساب. تُعرف هذه بالحواسيب الفائقة. يجادل مارك بورجين بأن الخوارزميات فائقة التكرار مثل آلات تورينج الاستقرائية تدحض أطروحة تشيرش-تورينج. تعتمد حجته على تعريف خوارزمية أوسع من التعريف العادي، لذلك تسمى الوظائف غير القابلة للحساب التي تم الحصول عليها من بعض آلات تورينج الاستقرائية بأنها قابلة للحساب. يختلف هذا التفسير لأطروحة تشيرش-تورينغ عن التفسير المقبول عمومًا في نظرية الحوسبة، والذي نوقش أعلاه. الحجة القائلة بأن الخوارزميات فائقة التكرار هي في الواقع خوارزميات بمعنى أطروحة تشيرش - تورينج لم تجد قبولًا واسعًا داخل مجتمع أبحاث الحوسبة.