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