أطروحة تشرش-تورينغ

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

مراجع
  1. "معلومات عن أطروحة تشرش-تورينغ على موقع treccani.it". treccani.it. مؤرشف من الأصل في 15 أغسطس 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. "معلومات عن أطروحة تشرش-تورينغ على موقع catalogue.bnf.fr". catalogue.bnf.fr. مؤرشف من الأصل في 1 مايو 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. "معلومات عن أطروحة تشرش-تورينغ على موقع jstor.org". jstor.org. مؤرشف من الأصل في 26 مايو 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)


    • بوابة رياضيات
    • بوابة فلسفة
    • بوابة تقنية المعلومات
    • بوابة علم الحاسوب
    في كومنز صور وملفات عن: أطروحة تشرش-تورينغ
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.