אמיל פוסט

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
אמיל ליאון פוסט
Emil Leon Post
1897 –‏ 1954
Emil Leon Post.jpg

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

ביוגרפיה[עריכת קוד מקור | עריכה]

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

פוסט סיים תואר דוקטורט במתמטיקה באוניברסיטת קולומביה, וקיבל פוסט-דוקטורט מאוניברסיטת פרינסטון. בפרינסטון, הגיע קרוב מאוד לגילוי הפגמים שב"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.

ראו גם[עריכת קוד מקור | עריכה]

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

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