אלונזו צ'רץ'

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש


שגיאות פרמטריות בתבנית:מדען

פרמטרים ריקים [ פרסים והנצחה ] לא מופיעים בהגדרת התבנית

פרמטרים [ ארצות מגורים ] לא מופיעים בהגדרת התבנית

אלונזו צ'רץ'
Alonzo Church
אין תמונה חופשית
לידה 14 ביוני 1903
פטירה 11 באוגוסט 1995 (בגיל 92)
ענף מדעי לוגיקה,מתמטיקה
תרומות עיקריות
עבודתו על תחשיב למדא

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

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

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



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