אמיל פוסט

אמיל ליאון פוסט 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.

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.