العربية
العودة إلى الخط الزمني

أطروحة Church-Turing

الحقبة: النظرية المبكرة · عقد ١٩٣٠–عقد ١٩٥٠

اقترح ألونزو تشرتش وآلان تورينغ كلٌّ على حدة أطروحة Church-Turing المشهورة. وتقول هذه الأطروحة إن كل دالة قابلة للحساب فعليًا هي قابلة للحساب بآلة تورينغ. وبهذا صار مفهوم القابلية للحساب الحدسي مصوغًا صوريًا، وصار أساسًا لعلم الحاسوب.

ألونزو تشرتش وآلان تورينغ

الحالة
متحقَّق منه
نوع المحتوى
fact
آخر مراجعة للمصادر

المصادر وما تسنده

  1. The Church-Turing Thesis

    Stanford Encyclopedia of Philosophy · نوع المصدر: secondary-summary

    Explains the independent 1936 formulations and the later name "Church-Turing thesis".

    تاريخ الاطلاع: