امیل لئون پست
از ویکی‌پدیا، دانشنامهٔ آزاد.
امیل لئون پست (۱۱ فوریهٔ ۱۸۹۷ - ۲۱ آوریل ۱۹۵۴) ریاضیدان و منطقدانِ آمیریکائی-لهستانی در خانواده‌ای یهودی در آئوگوستوف متولد شد و در نیویورک درگذشت.
در سال ۱۹۳۶ مدلِ مجردِ محاسباتی را مستقل از ماشین تورینگ به وجود آورد که ماشین پست نام گرفت.
وی همچنین مبدعِ جداول ارزشی برای نمایشِ معنای منطق گزاره‌ای، به طور مستقل و به احتمال قبل از ویتگن‌اشتاین، که معروف به خالقِ آن‌هاست، شناخته می‌شود.
مسئلهٔ تناظر پست به عنوانِ نمونهٔ جدیدی از محاسبه به مسائل تصمیم‌گیری در نظریهٔ بازگشت ارائه شده است.
[ویرایش] خواندنی‌های مهم
- دیویس، مارتین (۱۹۶۴). عدم قطعیت، ص. ۲۸۸-۴۳۳. انتشاراتِ راوِن. ISBN 0-91-121601-4
[ویرایش] جستارهای وابسته
- قضیهٔ پست
- سلسله‌مراتب حسابی
