امیل لئون پست
امیل لئون پست | |
---|---|
زادهٔ | ۱۱ فوریهٔ ۱۸۹۷ آئوگوستوف، امپراتوری روسیه (لهستان کنونی) |
درگذشت | ۲۱ آوریل ۱۹۵۴ (۵۷ سال) نیویورک سیتی، نیویورک، ایالات متحده |
محل تحصیل | دانشگاه کلمبیا |
شناختهشده برای | ماشین پست مبدع جداول ارزشی مسئلهٔ تناظر پست |
پیشینه علمی | |
شاخه(ها) | ریاضیات |
امیل لئون پست (به انگلیسی: Emil Leon Post) (زاده ۱۱ فوریهٔ ۱۸۹۷ - درگذشته ۲۱ آوریل ۱۹۵۴) ریاضیدان و منطقدان آمریکائی-لهستانی در خانوادهای یهودی در آئوگوستوف متولد شد و در نیویورک درگذشت.
در سال ۱۹۳۶ مدلِ مجردِ محاسباتی را مستقل از ماشین تورینگ به وجود آورد که ماشین پست نام گرفت.
وی همچنین مبدعِ جداول ارزشی برای نمایشِ معنای منطق گزارهای، به طور مستقل و به احتمال قبل از ویتگنشتاین، که معروف به خالقِ آنهاست، شناخته میشود.
مسئلهٔ تناظر پست به عنوانِ نمونهٔ جدیدی از محاسبه به مسائل تصمیمگیری در نظریهٔ بازگشت ارائه شده است.
خواندنیهای مهم
- دیویس، مارتین (۱۹۶۴). عدم قطعیت، ص. ۲۸۸-۴۳۳. انتشاراتِ راوِن. شابک ۰−۹۱۱۲۱۶−۰۱−۴
جستارهای وابسته
منابع
- مشارکتکنندگان ویکیپدیا. «Emil Leon Post». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۲۷ فوریه ۲۰۱۴.
ردهها:
- افراد مبتلا به اختلال دوقطبی
- اهالی لهستان در سده ۲۰ (میلادی)
- درگذشتگان ۱۹۵۴ (میلادی)
- ریاضیدانان اهل ایالات متحده آمریکا
- ریاضیدانان اهل لهستان
- ریاضیدانان سده ۲۰ (میلادی)
- ریاضیدانان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
- زادگان ۱۸۹۷ (میلادی)
- فیلسوفان اهل ایالات متحده آمریکا
- افراد آمریکایی لهستانیتبار
- لهستانیتبارهای یهودی اهل ایالات متحده آمریکا
- منطقدانان اهل ایالات متحده آمریکا
- افراد آمریکایی یهودیتبار
- یهودیان اهل لهستان