امیل لئون پست
از ویکیپدیا، دانشنامهٔ آزاد
 |
در متن این مقاله از هیچ منبع و مأخذی نام برده نشدهاست. شما میتوانید با افزودن منابع برطبق اصول اثباتپذیری و شیوهنامهٔ ارجاع به منابع، به ویکیپدیا کمک کنید. مطالب بیمنبع احتمالاً در آینده حذف خواهند شد. |
| امیل لئون پست | |
|---|---|
 |
|
| متولد | ۱۱ فوریهٔ ۱۸۹۷ آئوگوستوف , امپراتوری روسیه (لهستان کنونی) |
| مرگ | ۲۱ آوریل ۱۹۵۴ (۵۷ سال) نیویورک سیتی , نیویورک , ایالات متحده |
| رشته فعالیت | ریاضیات |
| فارغالتحصیل | دانشگاه کلمبیا |
| دلیل شهرت | ماشین پست مبدعِ جداول ارزشی مسئلهٔ تناظر پست |
| دین | یهودی |
امیل لئون پست (به انگلیسی: Emil Leon Post) (۱۱ فوریهٔ ۱۸۹۷ - ۲۱ آوریل ۱۹۵۴) ریاضیدان و منطقدان آمریکائی-لهستانی
در خانوادهای یهودی در آئوگوستوف متولد شد و در نیویورک درگذشت.
در سال ۱۹۳۶ مدلِ مجردِ محاسباتی را مستقل از ماشین تورینگ به وجود آورد که ماشین پست نام گرفت.
وی همچنین مبدعِ جداول ارزشی برای نمایشِ معنای منطق گزارهای، به طور مستقل و به احتمال قبل از ویتگنشتاین، که معروف به خالقِ آنهاست، شناخته میشود.
مسئلهٔ تناظر پست به عنوانِ نمونهٔ جدیدی از محاسبه به مسائل تصمیمگیری در نظریهٔ بازگشت ارائه شده است.
[ویرایش] خواندنیهای مهم
- دیویس، مارتین (۱۹۶۴). عدم قطعیت، ص. ۲۸۸-۴۳۳. انتشاراتِ راوِن. ISBN 0-911216-01-4
[ویرایش] جستارهای وابسته
 |
این یک نوشتار خُرد پیرامون افراد است. با گسترش آن به ویکیپدیا کمک کنید. |
