אלונזו צ'רץ'

אלונזו צ'רץ'
Alonzo Church
	אין תמונה חופשית
לידה	14 ביוני 1903; וושינגטון די. סי., ארצות הברית
פטירה	11 באוגוסט 1995 (בגיל 92); הדסון, ארצות הברית
ענף מדעי	לוגיקה,מתמטיקה
מקום מגורים	ארצות הברית
מקום קבורה	בית הקברות פרינסטון
מקום לימודים	אוניברסיטת פרינסטון (1927); אוניברסיטת גטינגן (1928); אוניברסיטת הרווארד (1928); אוניברסיטת אמסטרדם (1929) ;
מנחה לדוקטורט	אוסוולד וובלן
מוסדות	אוניברסיטת פרינסטון (1929–1967); אוניברסיטת קליפורניה בלוס אנג'לס (1967–1990) ;
תלמידי דוקטורט	C. Anthony Anderson, Wayne Harvey Richter, Joel Robbin, William Bigelow Easton, Isaac Malitz, Maurice L'Abbé, Robert Wells Ritchie, Simon B. Kochen, ג'ראלד ג'. מסי, Enrique Bustamente-Llaca, James Russell Guard, Donald James Collins, Edward William, Jr. Chapin, Aubert Daigneault, Gustav Bernard Hensel, James Hallam Bennett, Robert Owen Winder, Bijan Arbab, William Boone, לאון הנקין, ג'ון קמני, סטיבן קלין, מרטין דייוויס, Peter B. Andrews, George Alfred Barnard, Norman Shapiro, מיכאל רבין, J. Barkley Rosser, אלן טיורינג, Alfred Foster, Hartley Rogers, Jr., ריימונד סמוליאן, Gary R. Mar, דיינה סקוט, Nathan Salmon, בפסקה זו רשומה אחת נוספת שטרם תורגמה
תרומות עיקריות
	עבודתו על תחשיב למדא

אלונזו צ'רץ (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.

קישורים חיצוניים

אלונזו צ'רץ', באתר פרויקט הגנאלוגיה במתמטיקה
אלונזו צ'רץ', באתר MacTutor (באנגלית)
אלונזו צ'רץ', באתר dblp
אלונזו צ'רץ', באתר "Find a Grave" (באנגלית)
אלונזו צ'רץ', באתר אנציקלופדיה בריטניקה (באנגלית)

ערך זה הוא קצרמר בנושא אישים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.

תרומות עיקריות
אין תמונה חופשית
לידה	14 ביוני 1903 וושינגטון די. סי., ארצות הברית
פטירה	11 באוגוסט 1995 (בגיל 92) הדסון, ארצות הברית
ענף מדעי	לוגיקה,מתמטיקה
מקום מגורים	ארצות הברית
מקום קבורה	בית הקברות פרינסטון
מקום לימודים	אוניברסיטת פרינסטון (1927) אוניברסיטת גטינגן (1928) אוניברסיטת הרווארד (1928) אוניברסיטת אמסטרדם (1929)
מנחה לדוקטורט	אוסוולד וובלן
מוסדות	אוניברסיטת פרינסטון (1929–1967) אוניברסיטת קליפורניה בלוס אנג'לס (1967–1990)
תלמידי דוקטורט	C. Anthony Anderson, Wayne Harvey Richter, Joel Robbin, William Bigelow Easton, Isaac Malitz, Maurice L'Abbé, Robert Wells Ritchie, Simon B. Kochen, ג'ראלד ג'. מסי, Enrique Bustamente-Llaca, James Russell Guard, Donald James Collins, Edward William, Jr. Chapin, Aubert Daigneault, Gustav Bernard Hensel, James Hallam Bennett, Robert Owen Winder, Bijan Arbab, William Boone, לאון הנקין, ג'ון קמני, סטיבן קלין, מרטין דייוויס, Peter B. Andrews, George Alfred Barnard, Norman Shapiro, מיכאל רבין, J. Barkley Rosser, אלן טיורינג, Alfred Foster, Hartley Rogers, Jr., ריימונד סמוליאן, Gary R. Mar, דיינה סקוט, Nathan Salmon, בפסקה זו רשומה אחת נוספת שטרם תורגמה
עבודתו על תחשיב למדא