אלונזו צ'רץ' (Alonzo Church; 14 ביוני 1903, 11 באוגוסט 1995) היה מתמטיקאי ולוגיקן.
נולד בוושינגטון די.סי. והלך ללמוד בפרינסטון. הוא היה פרופסור שם, ואז לימד גם ב-UCLA.
הוא פיתח את תחשיב למדא. תחשיב למדא הוא דרך להסביר מה מחשבים יכולים לחשב, בעזרת פונקציות (מה שהן חישובים קטנים).
ב-1936 הראה צ'רץ' שיש "בעיה לא פתירה". זה אומר שאין שיטה אחת שתפתור את כל המקרים של אותה שאלה. המחקר שלו עזר לאלן טיורינג בעבודתו. צ'רץ' וטיורינג הראו ששיטות אלה שוות בכוחן.
נולד בוושינגטון די.סי. והלך ללמוד בפרינסטון. הוא היה פרופסור שם, ואז לימד גם ב-UCLA.
הוא פיתח את תחשיב למדא. תחשיב למדא הוא דרך להסביר מה מחשבים יכולים לחשב, בעזרת פונקציות (מה שהן חישובים קטנים).
ב-1936 הראה צ'רץ' שיש "בעיה לא פתירה". זה אומר שאין שיטה אחת שתפתור את כל המקרים של אותה שאלה. המחקר שלו עזר לאלן טיורינג בעבודתו. צ'רץ' וטיורינג הראו ששיטות אלה שוות בכוחן.