آلفرد تارسکی

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

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

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

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

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

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

منابع[ویرایش]

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