פתיחת התפריט הראשי

פרופ' אמיל לאון פּוֹסְטאנגלית: Emil Leon Post;‏ 11 בפברואר 1897 - 21 באפריל 1954) היה מתמטיקאי ולוגיקן יהודי אמריקאי.

אמיל ליאון פוסט
Emil Leon Post
Emil Leon Post.jpg
לידה 11 בפברואר 1897
אוגוסטוב, האימפריה הרוסית עריכת הנתון בוויקינתונים
פטירה 21 באפריל 1954 (בגיל 57)
ניו יורק, ארצות הברית עריכת הנתון בוויקינתונים
ענף מדעי מתמטיקה עריכת הנתון בוויקינתונים
עיסוק מתמטיקאי, פילוסוף, לוגיקאי, מרצה באוניברסיטה, מדען מחשב עריכת הנתון בוויקינתונים
מקום לימודים אוניברסיטת קולומביה עריכת הנתון בוויקינתונים
מנחה לדוקטורט קסיוס ג'קסון קייזר עריכת הנתון בוויקינתונים
מוסדות הסיטי קולג' של ניו יורק עריכת הנתון בוויקינתונים
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

תוכן עניינים

ביוגרפיהעריכה

פוסט נולד למשפחה יהודית-פולנית אשר היגרה לארצות הברית בעודו ילד והתיישבה בניו-יורק.

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

נישא לגרטרוד זינגר, ולהם בת אחת. נראה כי פוסט סבל במהלך חייו הבוגרים מהפרעה דו-קוטבית.

תורת הרקורסיהעריכה

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

מבחר ממאמריועריכה

  • 1936, "Finite Combinatory Processes - Formulation 1," Journal of Symbolic Logic 1: 103-105.
  • 1943, "Formal Reductions of the General Combinatorial Decision Problem," American Journal of Mathematics 65: 197-215
  • 1944, "Recursively enumerable sets of positive integers and their decision problems," Bulletin of the American Mathematical Society 50: 284-316. Introduces the important concept of many-one reduction.

ראו גםעריכה

קישורים חיצונייםעריכה

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