אלונזו צ'רץ'

אלונזו צ'רץ (Alonzo Church; 14 ביוני 1903 – 11 באוגוסט 1995) היה מתמטיקאי ולוגיקן שתרם רבות לפיתוח מדעי המחשב. נולד בוושינגטון די.סי ולמד באוניברסיטת פרינסטון, שם קיבל את הדוקטורט בשנת 1927, וכיהן כפרופסור למתמטיקה שם בשנים 1929–1967. בשנים 1967–1990 כיהן כפרופסור למתמטיקה באוניברסיטת קליפורניה בלוס אנג'לס.

ידוע בעיקר בזכות עבודתו על תחשיב למדא ובזכות עבודתו המפורסמת משנת 1936, המצביעה על קיומה של "בעיה לא פתירה". עבודה זו איפשרה לאלן טיורינג להתחיל בעבודתו המפורסמת על בעיית העצירה. הוא וטיורינג החלו לשתף פעולה והראו שתחשיב הלמדא ומכונת טיורינג הם כלים חישוביים שקולים, וכתוצאה מכך הראו מבחר של "שיטות חישוב" והראו שגם להם יש את אותו כוח חישובי. תוצאה זו היא הבסיס של התזה של צ'רץ'-טיורינג.

לקריאה נוספת
 Gerard O’Regan, Giants of Computing - A Compendium of Select, Pivotal Pioneers, Springer, 2013, pp. 67–70.
קישורים חיצוניים




קטגוריה:אמריקאים ילידי וושינגטון די. סי.
קטגוריה:מתמטיקאים אמריקאים
קטגוריה:לוגיקנים אמריקאים
קטגוריה:בעלי תואר דוקטור מאוניברסיטת פרינסטון
קטגוריה:סגל אוניברסיטת קליפורניה בלוס אנג'לס
קטגוריה:סגל אוניברסיטת פרינסטון
קטגוריה:חלוצי המחשוב
קטגוריה:מדעני מחשב אמריקאים
קטגוריה:אמריקאים שנולדו ב-1903
קטגוריה:אמריקאים שנפטרו ב-1995