אלונזו צ'רץ'

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
אלונזו צ'רץ'
Alonzo Church
אין תמונה חופשית
לידה 14 ביוני 1903
וושינגטון די. סי., ארצות הברית עריכת הנתון בוויקינתונים
פטירה 11 באוגוסט 1995 (בגיל 92)
הדסון, ארצות הברית עריכת הנתון בוויקינתונים
ענף מדעי לוגיקה,מתמטיקה
מקום מגורים ארצות הברית
מקום קבורה בית הקברות פרינסטון עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט Oswald Veblen עריכת הנתון בוויקינתונים
מוסדות
מונחה לדוקטורט C. Anthony Anderson, Peter B. Andrews, George Alfred Barnard, Martin Davis, לאון הנקין, David Kaplan, ג'ון קמני, Stephen Cole Kleene, מיכאל רבין, Hartley Rogers, Jr., J. Barkley Rosser, Nathan Salmon, דיינה סקוט, ריימונד סמוליאן, אלן טיורינג, Alfred Foster, Nicholas Rescher, Norman Shapiro, William Boone עריכת הנתון בוויקינתונים
תרומות עיקריות
עבודתו על תחשיב למדא
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

אלונזו צ'רץ (Alonzo Church;‏ 14 ביוני 190311 באוגוסט 1995) היה מתמטיקאי ולוגיקן שתרם רבות לפיתוח מדעי המחשב. נולד בוושינגטון די.סי ולמד באוניברסיטת פרינסטון, שם קיבל את הדוקטורט בשנת 1927, וכיהן כפרופסור למתמטיקה שם בשנים 19291967. בשנים 19671990 כיהן כפרופסור למתמטיקה באוניברסיטת קליפורניה בלוס אנג'לס.

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]

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