آلفرد تارسکی

ریاضی‌دان لهستانی

آلفرد تارسکی (به لهستانی: Alfred Tarski)‏ (۱۴ ژانویه ۱۹۰۱–۲۶ اکتبر ۱۹۸۳) ریاضیدان و منطق‌دان برجستهٔ لهستانی-آمریکایی بود.

آلفرد تارسکی
AlfredTarski1968.jpeg
زادهٔ۱۴ ژانویهٔ ۱۹۰۱
ورشو، امپراتوری روسیه
درگذشت۲۶ اکتبر ۱۹۸۳ (۸۲ سال)
برکلی، کالیفرنیا
ملیتلهستانی
شهروندیایالات متحده آمریکا
محل تحصیلدانشگاه ورشو
شناخته‌شده برایبخاطر تحقیقاتش در نظریه مدل، ریاضیات، منطق جبری، جبر مجرد، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها
سابقه علمی
رشته(های) فعالیتریاضیات، منطق، فلسفه زبان
محل کاردانشگاه کالیفرنیا، برکلی
تأثیر گرفته ازکارل پوپر
ویلارد کواین

وی در مدرسهٔ ریاضیات و فلسفهٔ ورشو تحصیل و در ۱۹۳۹ به آمریکا مهاجرت کرد و از ۱۹۴۲ در دانشگاه برکلی در کالیفرنیا به تحقیق و تدریس پرداخت.

شهرت او بیشتر بخاطر تحقیقاتش در نظریه مدل، ریاضیات و منطق جبری است اما در زمینه‌های دیگری مانند جبر مجرد ، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها نیز فعالیت داشته‌است.

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

نظریهٔ وی دربارهٔ صدق در زبان صوری، نزد منطق‌دانان مشهور و منشأ بحثهای فراوانی بوده‌است.

منابعویرایش

مشارکت‌کنندگان ویکی‌پدیا. «Alfred Tarski». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۸ مارس ۲۰۱۰.