}}في [[نظرية علمالقابلية الحاسوبللحساب]]، والمعروفةتعرف أيضاأطروحة بفرضيةتشرش-تورنغ تورنغChurch-تشورش،Turing فرضيةThesis، حول طبيعةأو [[دوال حسابيةحدسية]].هيتشرش-تورنغ Church-Turing Conjecture، على أنها [[فرضية]] Hypothesis حول طبيعة المهام[[الدوال الحسابية]] Computable functions. وتنص تدلالفرضية على أن الأعداد الطبيعية محسوبةتكون قابلة للحساب بعقل إنساني و بخوارزمية،وبخوارزمية، مع تجاهل القيود على الموارد، إذا وفقط إذا كانت محسوبة منباستخدام [[آلة تورنغ]]. الأطروحة سميت على عالم الرياضيات الأمريكي [[ألونزو تشورشتشرش]] وعالم الرياضيات البريطاني [[آلان تورنغ]]. قبل التعريف الدقيق لنظرية [[الحاسوبية]]، علماء الرياضيات غالباً ماكانوا يستخدمون المصطلح غير الرسمي للحساب الفعال Effectively calculable لوصف الوظائف المحسوبة بأساليب ورقة وقلم رصاص. في الثلاثينات من القرن الماضي، بذلت محاولات مستقلة عدة لإضفاء الطابع الرسمي على مفهوم الحاسوبية.
