ألونزو تشيرش ، عالم رياضيات ومنطق أمريكي (ت. 1995)
ألونزو تشيرش (14 يونيو 1903-11 أغسطس 1995) كان عالم رياضيات ومنطقًا أمريكيًا قدم مساهمات كبيرة في المنطق الرياضي وأسس علوم الكمبيوتر النظرية. اشتهر بحساب لامدا ، وأطروحة تشيرش-تورينج ، التي تثبت عدم قابلية Entscheidungsproblem ، وعلم الوجود للكنيسة Frege ، ونظرية Church-Rosser. كما عمل على فلسفة اللغة (انظر على سبيل المثال Church 1970). إلى جانب آلان تورينج ، تم اعتبار تشيرش كأحد مؤسسي علوم الكمبيوتر.