رسته‌ها

آلفرد تارسکی
(1901 - 1983 م)

مشخصات:
نام واقعی:
آلفرد تارسکی
تاریخ تولد:
1901/01/14 میلادی
تاریخ درگذشت:
1983/10/26 میلادی (82 سالگی)
محل تولد:‌
ورشو، لهستان
جنسیت:‌
مرد
ژانر:‌
ریاضیات، منطق
زندگی‌نامه
آلفرد تارسکی (۱۹۸۳_۱۹۰۱)، ریاضی‌دان و منطق‌دان برجسته‌ی لهستانی_آمریکایی بود. وی در مدرسهٔ ریاضیات و فلسفهٔ ورشو تحصیل و در ۱۹۳۹ به آمریکا مهاجرت کرد و از ۱۹۴۲ در دانشگاه برکلی در کالیفرنیا به تحقیق و تدریس پرداخت. شهرت او بیشتر به خاطر تحقیقاتش در نظریه‌ی مدل، ریاضیات و منطق جبری است؛ اما در زمینه‌های دیگری مانند جبر مجرد، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها نیز فعالیت داشته‌است. رابرت لاوسن وات، یکی از شاگردانش، او را در کنار ارسطو، فرگه و گودل به عنوان چهار منطق‌دان برجستهٔ تاریخ معرفی کرده‌است. نظریهٔ وی دربارهٔ صدق در زبان صوری، نزد منطق‌دانان مشهور و منشا بحث‌های فراوانی بوده‌است.
بیشتر
ویرایش

کتاب‌های آلفرد تارسکی
(1 عنوان)

آخرین دیدگاه‌ها

تعداد دیدگاه‌ها:
0
دیدگاهی درج نشده؛ شما نخستین نگارنده باشید.
عضو نیستید؟
ثبت نام در کتابناک