امیل لئون پست

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری, جستجو


امیل لئون پست
Emil Leon Post.jpg
متولد ۱۱ فوریهٔ ۱۸۹۷(۱۸۹۷-02-۱۱)
آئوگوستوف , امپراتوری روسیه (لهستان کنونی)
مرگ ۲۱ آوریل ۱۹۵۴ (۵۷ سال)
نیویورک سیتی , نیویورک , ایالات متحده
رشته فعالیت ریاضیات
فارغ‌التحصیل دانشگاه کلمبیا
دلیل شهرت ماشین پست
مبدعِ جداول ارزشی
مسئلهٔ تناظر پست
دین یهودی


امیل لئون پست (به انگلیسی: Emil Leon Post) ‏ (۱۱ فوریهٔ ۱۸۹۷ - ۲۱ آوریل ۱۹۵۴) ریاضیدان و منطقدان آمریکائی-لهستانی


در خانواده‌ای یهودی در آئوگوستوف متولد شد و در نیویورک درگذشت.


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


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


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


[ویرایش] خواندنی‌های مهم

  • دیویس، مارتین (۱۹۶۴). عدم قطعیت، ص. ۲۸۸-۴۳۳. انتشاراتِ راوِن. ISBN 0-911216-01-4

[ویرایش] جستارهای وابسته


ابزارهای شخصی

گویش‌ها
فضاهای نام
عملکردها
گشتن
چاپ/برون‌بری
جعبه‌ابزار
زبان‌های دیگر