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