آلفرد تارسکی

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

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

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

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

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

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

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

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