امیل لئون پست

امیل لئون پست  (زاده ۱۱ فوریهٔ ۱۸۹۷ - درگذشته ۲۱ آوریل ۱۹۵۴) ریاضیدان و منطقدان آمریکائی-لهستانی در خانواده‌ای یهودی در آئوگوستوف متولد شد و در نیویورک درگذشت.

در سال ۱۹۳۶ مدلِ مجردِ محاسباتی را مستقل از ماشین تورینگ به وجود آورد که ماشین پست نام گرفت.

وی همچنین مبدعِ جداول ارزشی برای نمایشِ معنای منطق گزاره‌ای، به طور مستقل و به احتمال قبل از ویتگنشتاین، که معروف به خالقِ آن‌هاست، شناخته می‌شود.

مسئلهٔ تناظر پست به عنوانِ نمونهٔ جدیدی از محاسبه به مسائل تصمیم‌گیری در نظریهٔ بازگشت ارائه شده است.

 خواندنی‌های مهم 
 دیویس، مارتین (۱۹۶۴). عدم قطعیت، ص. ۲۸۸-۴۳۳. انتشاراتِ راوِن. 

 جستارهای وابسته 
 قضیهٔ پست
 سلسله‌مراتب حسابی

 منابع 



رده:افراد آمریکایی لهستانی‌تبار
رده:افراد آمریکایی یهودی‌تبار
رده:افراد مبتلا به اختلال دوقطبی
رده:اهالی لهستان در سده ۲۰ (میلادی)
رده:دانش‌آموختگان دانشگاه کلمبیا
رده:درگذشتگان ۱۹۵۴ (میلادی)
رده:ریاضی‌دانان اهل ایالات متحده آمریکا
رده:ریاضی‌دانان اهل لهستان
رده:ریاضی‌دانان سده ۲۰ (میلادی)
رده:ریاضی‌دانان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
رده:زادگان ۱۸۹۷ (میلادی)
رده:فیلسوفان اهل ایالات متحده آمریکا
رده:لهستانی‌تبارهای یهودی اهل ایالات متحده آمریکا
رده:منطق‌دانان اهل ایالات متحده آمریکا
رده:یهودیان اهل لهستان
رده:ریاضی‌دانان اهل نیویورک (ایالت)
رده:افراد دچار قطع عضو اهل ایالات متحده آمریکا