در نظریهٔ محاسبات، تز چرچ-تورینگ (Church–Turing thesis) پیرامون مفهوم یک روش مؤثر یا مکانیکی در منطق و ریاضیات شکل یافته است.در اویل قرن ۲۰ تلاش های فراوانی برای فرمول سازی محاسبات انجام شد.ریاضیدان آمریکایی آلونزو چرچ برای تعریف تابع روشی به نام جبر لاندا ابداع کرد.ریاضیدان انگلیسی آلن تورینگ مدلی تئوری که حالا به نام ماشین جهانی تورینگ شناخته می شود ابداع کرد.چرچ همراه با یک ریاضیدانی به نام است...
