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