آلفرد تارسکی
| آلفرد تارسکی | |
|---|---|
 | |
| زادهٔ | ۱۴ ژانویهٔ ۱۹۰۱ ورشو، امپراتوری روسیه |
| درگذشت | ۲۶ اکتبر ۱۹۸۳ (۸۲ سال) برکلی، کالیفرنیا |
| ملیت | لهستانی |
| شهروندی | ایالات متحده آمریکا |
| محل تحصیل | دانشگاه ورشو |
| شناخته‌شده برای | بخاطر تحقیقاتش در نظریه مدل، ریاضیات، منطق جبری، جبر مجرد، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها |
| پیشینه علمی | |
| شاخه(ها) | ریاضیات، منطق، فلسفه زبان |
| محل کار | دانشگاه کالیفرنیا، برکلی |
| تأثیر گرفته از | کارل پوپر ویلارد کواین |
آلفرد تارسکی (به لهستانی: Alfred Tarski) (زاده ۱۴ ژانویه ۱۹۰۱ – درگذشته ۲۶ اکتبر ۱۹۸۳) ریاضیدان و منطق‌دان برجستهٔ لهستانی-آمریکایی بود.
وی در مدرسهٔ ریاضیات و فلسفهٔ ورشو تحصیل و در ۱۹۳۹ به آمریکا مهاجرت کرد و از ۱۹۴۲ در دانشگاه برکلی در کالیفرنیا به تحقیق و تدریس پرداخت.
شهرت او بیشتر بخاطر تحقیقاتش در نظریه مدل، ریاضیات و منطق جبری است اما در زمینه‌های دیگری مانند جبر مجرد، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها نیز فعالیت داشته‌است.
رابرت لاوسن وات، یکی از شاگردانش، او را در کنار ارسطو، فرگه و گودل به عنوان چهار منطق‌دان برجستهٔ تاریخ معرفی کرده‌است.
نظریهٔ وی دربارهٔ صدق در زبان صوری، نزد منطق‌دانان مشهور و منشأ بحثهای فراوانی بوده‌است.
منابع
[ویرایش]
مشارکت‌کنندگان ویکی‌پدیا. «Alfred Tarski». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۸ مارس ۲۰۱۰.
| تاریخ |
| ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| مقالات اصلی |
| ||||||||||||||
| مفاهیم منطق |
| ||||||||||||||
| مجادله‌ها |
| ||||||||||||||
| افراد اصلی |
| ||||||||||||||
| فهرست‌ها |
| ||||||||||||||
| عمومی | |
|---|---|
| کتابخانه‌های ملی | |
| واژه‌نامه‌های زندگی‌نامه‌ای | |
| پایگاه‌های دادهٔ علمی | |
| سایر | |
| عمومی |
|  | |||
|---|---|---|---|---|---|
| منطق‌های کلاسیک |
| ||||
| اصول |
| ||||
| قواعد |
| ||||
| افراد | |||||
| اثرها |
| ||||
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
