كنيسة ألونزو

كان ألونزو تشيرش (14 يونيو 1903 - 11 أغسطس 1995) عالم حاسوب ورياضيات ومنطق وفيلسوفًا أمريكيًا ، قدم إسهاماتٍ جليلة في المنطق الرياضي وأسس علوم الحاسوب النظرية . ^{[ 2 ]} اشتهر بحساب لامدا ، ونظرية تشيرش-تورينج التي أثبتت استحالة حل مسألة القرار (Entscheidungsproblem)، ونظرية فريجه-تشيرش ، ونظرية تشيرش-روسر . يُعتبر تشيرش، إلى جانب تلميذه في الدكتوراه آلان تورينج ، أحد مؤسسي علوم الحاسوب . ^{[ 3 ] [ 4 ]}

وُلد ألونسو تشيرش في 14 يونيو 1903 في واشنطن العاصمة ، حيث كان والده، صموئيل روبنز تشيرش، قاضيًا للصلح ^{[ 5 ]} وقاضيًا في المحكمة البلدية لمقاطعة كولومبيا. كان حفيد ألونسو ويبستر تشيرش (1829-1909)، أمين مكتبة مجلس الشيوخ الأمريكي من عام 1881 إلى عام 1901، وابن حفيد ألونسو تشيرش ، أستاذ الرياضيات والفلك والرئيس السادس لجامعة جورجيا. ^{[ 6 ]} في صغره، فقد تشيرش جزءًا من بصره إثر حادثة بندقية هوائية. ^{[ 7 ]} انتقلت العائلة لاحقًا إلى فرجينيا بعد أن فقد والده منصبه في الجامعة بسبب ضعف بصره. وبمساعدة عمه، الذي يحمل نفس الاسم، التحق الابن بمدرسة ريدجفيلد الخاصة للبنين في ريدجفيلد، كونيتيكت . ^{[ ٨ ]} بعد تخرجه من ريدجفيلد عام ١٩٢٠، التحق تشيرش بجامعة برينستون، حيث كان طالبًا متفوقًا. نشر بحثه الأول عن تحويلات لورنتز ^{[ ٩ ]} عام ١٩٢٤، وتخرج في العام نفسه بشهادة في الرياضيات. ثم تابع دراساته العليا في برينستون، وحصل على درجة الدكتوراه في الرياضيات في ثلاث سنوات تحت إشراف أوزوالد فيبلين .

تزوج من ماري جوليا كوتشينسكي عام 1925. أنجب الزوجان ثلاثة أطفال: ألونسو الابن (1929)، وماري آن (1933)، وميلدريد (1938).

بعد حصوله على درجة الدكتوراه، قام بالتدريس لفترة وجيزة كمحاضر في جامعة شيكاغو . ^{[ 10 ]} حصل على زمالة بحثية وطنية لمدة عامين مكنته من الالتحاق بجامعة هارفارد في الفترة 1927-1928، وجامعة غوتنغن وجامعة أمستردام في العام التالي.

درّس الفلسفة والرياضيات في جامعة برينستون لما يقرب من أربعة عقود، من عام 1929 إلى عام 1967. وشغل منصب أستاذ فلينت للفلسفة والرياضيات في جامعة كاليفورنيا، لوس أنجلوس ، من عام 1967 إلى عام 1990. ^{[ 11 ]} وكان متحدثًا رئيسيًا في المؤتمر الدولي للرياضيات عام 1962 في ستوكهولم. ^{[ 12 ]}

حصل على شهادات دكتوراه فخرية في العلوم من جامعة كيس ويسترن ريزيرف عام 1969، ^{[ 13 ]} وجامعة برينستون عام 1985، ^{[ 14 ]} وجامعة بافالو، جامعة ولاية نيويورك عام 1990، وذلك في إطار ندوة دولية أقيمت تكريماً له نظمها جون كوركوران . ^{[ 15 ]}

تم انتخابه زميلًا مراسلًا للأكاديمية البريطانية (FBA) في عام 1966، ^{[ 16 ]} وللأكاديمية الأمريكية للفنون والعلوم في عام 1967، وللأكاديمية الوطنية للعلوم في عام 1978. ^{[ 17 ]}

كان تشيرش عضواً مدى الحياة في الكنيسة المشيخية . ^{[ 18 ]} توفي في 11 أغسطس 1995، عن عمر يناهز 92 عاماً. ^{[ 19 ]} دُفن في مقبرة برينستون . ^{[ 20 ]}

تشتهر الكنيسة بالإنجازات التالية:

• برهانه على أن مسألة القرار ، التي تطلب إجراءً لاتخاذ قرار لتحديد صحة القضايا العشوائية في نظرية رياضية من الدرجة الأولى ، غير قابلة للحسم . يُعرف هذا باسم نظرية تشرش . ^{[ 21 ]}
• اختراعه لحساب التفاضل والتكامل لامدا .
• استخدامه لحساب لامدا لإثبات أن حساب بيانو غير قابل للتقرير. ^{[ 11 ]}
• صياغته لما أصبح يُعرف باسم أطروحة تشيرش-تورينغ .
• كونه محررًا مؤسسًا لمجلة المنطق الرمزي ، حيث قام بتحرير قسم المراجعات فيها لمدة 43 عامًا من عام 1936 حتى عام 1979.
• تأليفه لكتاب مدرسي بارز في مجال المنطق الرياضي، بعنوان "مقدمة في المنطق الرياضي" . ^{[ 22 ]}
• نظرية تشيرش -روسر

ظهر حساب لامدا في بحثه عام 1936 الذي أظهر استحالة حل مسألة القرار. سبقت هذه النتيجة عمل آلان تورينج على مسألة التوقف ، والذي أثبت بدوره وجود مسألة لا يمكن حلها بالوسائل الميكانيكية. بعد أن سمع تورينج بعمل تشرش، التحق بجامعة برينستون في وقت لاحق من ذلك العام تحت إشراف تشرش للحصول على درجة الدكتوراه. ^{[ 23 ]} ثم أثبت تشرش وتورينج أن حساب لامدا وآلة تورينج المستخدمة في مسألة التوقف لتورينج متكافئان في القدرات، وعرضا لاحقًا مجموعة متنوعة من "العمليات الميكانيكية للحساب" البديلة. نتج عن ذلك أطروحة تشرش-تورينج.

تنبع الجهود المبذولة لتوليد تطبيق وحدة تحكم تلقائيًا من المواصفات من أفكاره. ^{[ 24 ]}

أثر حساب لامدا على تصميم لغة ليسب ولغات البرمجة الوظيفية بشكل عام. وقد سُميت ترميز الكنيسة تكريماً له.

تكريمًا له، أُنشئت جائزة ألونزو تشيرش للإسهامات المتميزة في المنطق والحوسبة عام ٢٠١٥ من قِبل مجموعة الاهتمام الخاصة بالمنطق والحوسبة التابعة لرابطة آلات الحوسبة ( ACM SIGLOG )، والرابطة الأوروبية لعلوم الحاسوب النظرية (EATCS)، والرابطة الأوروبية لمنطق علوم الحاسوب ( EACSL )، وجمعية كورت غودل (KGS). تُمنح الجائزة لإسهام متميز في هذا المجال نُشر خلال السنوات الخمس والعشرين الماضية، ويجب ألا يكون قد حاز على تقدير من خلال جائزة رئيسية أخرى، مثل جائزة تورينج ، أو جائزة باريس كانيلاكس ، أو جائزة غودل . ^{[ ٢٥ ] [ ٢٦ ]}

كما قدم تشرش مساهمات في نظرية المتتاليات العشوائية . ^{[ 27 ]}

إن قيام تشرش بتطوير منهجية تتضمن المنهج اللوجستي، وانتقاداته الفلسفية للاسمية ودفاعه عن الواقعية، وحججه التي تؤدي إلى استنتاجات حول نظرية المعنى، والبناء المفصل للمنطق القصدي الفريجي والراسلي ، كلها أمور كافية لوضعه في مرتبة عالية بين أهم فلاسفة هذا القرن.

يُعرف تشرش أيضاً بنظرية الوجود الخاصة بفريجه-تشرش ، والتي وضعها استناداً إلى الأفكار الفلسفية لغوتلوب فريجه . ويُنسب إليه صياغة حجة المقلاع، التي تشير إلى أن المراجع الجملية يجب أن تكون قيماً حقيقية، وليست قضايا.

أشرف تشيرش خلال مسيرته الأكاديمية على 31 طالب دكتوراه. ^{[ 11 ]} وقد حقق العديد منهم مسيرة مهنية متميزة في الرياضيات وعلوم الحاسوب وغيرها من المجالات الأكاديمية، ومن بينهم بيتر ب. أندروز ، وجورج أ. بارنارد ، وديفيد بيرلينسكي ، وويليام و. بون ، ومارتن ديفيس ، وألفريد ل. فوستر ، وليون هينكين ، وجون ج. كيميني ، وستيفن س. كلين ، وسيمون ب. كوشن ، وموريس لابيه ، وغاري ر. مار ، ومايكل أ. رابين ، ونيكولاس ريشر ، وهارتلي روجرز الابن، وج . باركلي روسر ، ودانا سكوت ، وريموند سموليان، وآلان تورينج . ^{[ 29 ]}

إضافةً إلى أولئك الذين أشرف عليهم مباشرةً، كان لتشرش تأثير كبير على علماء الرياضيات وعلوم الحاسوب الآخرين. وقد ذكر هاسكل كاري ، الذي وسّع أفكار تشرش بمفهوم " التقييم الجزئي"، أن أحد كتبه الدراسية، "مقدمة في المنطق الرياضي" (الذي نُشر لأول مرة عام 1944)، "كُتب بدقة متناهية تميز أعمال المؤلف عمومًا". ^{[ 30 ]}

• مبدأ تشرش-تورينغ-دويتش
• المنطق من الرتبة العليا
• قائمة رواد علوم الحاسوب
• الأفلاطونية الحديثة
• مجموعة عالمية

• إندرتون، هربرت ب. ، ألونسو تشيرش: حياته وعمله . مقدمة لمجموعة أعمال ألونسو تشيرش ، مطبعة معهد ماساتشوستس للتكنولوجيا، 2019.
• إندرتون، هربرت ب.، في ذكرى: ألونسو تشيرش ، نشرة المنطق الرمزي ، المجلد 1، العدد 4 (ديسمبر 1995)، الصفحات  486-488.
• ويد، نيكولاس، ألونسو تشيرش، 92، منظر حدود الرياضيات (نعي)، صحيفة نيويورك تايمز ، 5 سبتمبر 1995، ص. ب6.
• هودجز، ويلفريد ، نعي: ألونسو تشيرش ، صحيفة الإندبندنت (لندن) ، 14 سبتمبر 1995.
• مقابلة أجراها ويليام أسبري مع ألونزو تشيرش في 17 مايو 1984. مجتمع الرياضيات في برينستون في ثلاثينيات القرن العشرين: مشروع التاريخ الشفوي ، رقم النص 5.
• روتا، جيان كارلو ، فاين هول في عصرها الذهبي: ذكريات من برينستون في أوائل الخمسينيات . في كتاب "قرن من الرياضيات في أمريكا، الجزء الثاني" ، تحرير بيتر دورين، تاريخ الرياضيات، المجلد 2، الجمعية الأمريكية للرياضيات، 1989، الصفحات  223-226. متوفر أيضًا هنا .
• تشرش، أ. (1950). "حول تحليل كارناب لعبارات التأكيد والاعتقاد". مجلة المنطق الرمزي . 10 (5): 97-99 . doi : 10.2307/3326684 . JSTOR 3326684 . 
• أندرسون، سي . أنتوني (1998). "مساهمات ألونسو تشيرش في الفلسفة والمنطق القصدي". نشرة المنطق الرمزي . 4 (2): 129-171 . CiteSeerX 10.1.1.26.7389 . doi : 10.2307/421020 . JSTOR 421020. S2CID 18305417 .   

• أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "ألونزو تشيرش" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
• مكتبة جامعة برينستون، قسم المخطوطات، أوراق ألونسو تشيرش، 1924-1995: دليل البحث.
• قائمة ببليوغرافية بمراجعات تشرش لمجلة المنطق الرمزي، مع رابط لكل منها
• ألونزو تشيرش، 92 عامًا، مُنظِّر حدود الرياضيات، نعي في صحيفة نيويورك تايمز
• نعي: ألونزو تشيرش من صحيفة الإندبندنت
• في ذكرى: ألونسو تشيرش (1903-1995) بقلم إيرفينغ إتش. أنيليس ، المنطق الحديث المجلد 5، العدد 4 (1995).
• في ذكرى: ألونسو تشيرش 1903-1995 بقلم إتش بي إنديرتون، نشرة المنطق الرمزي المجلد 1، العدد 5 (1995).