آلفرد تارسکی
آلفرد تارسکی (به لهستانی: Alfred Tarski) (۱۴ ژانویه ۱۹۰۱–۲۶ اکتبر ۱۹۸۳) ریاضیدان و منطق‌دان برجستهٔ لهستانی-آمریکایی بود.
| آلفرد تارسکی | |
|---|---|
 | |
| زادهٔ | ۱۴ ژانویهٔ ۱۹۰۱ ورشو، امپراتوری روسیه |
| درگذشت | ۲۶ اکتبر ۱۹۸۳ (۸۲ سال) برکلی، کالیفرنیا |
| ملیت | لهستانی |
| شهروندی | ایالات متحده آمریکا |
| محل تحصیل | دانشگاه ورشو |
| شناخته‌شده برای | بخاطر تحقیقاتش در نظریه مدل، ریاضیات، منطق جبری، جبر مجرد، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها |
| پیشینه علمی | |
| رشته(های) فعالیت | ریاضیات، منطق، فلسفه زبان |
| محل کار | دانشگاه کالیفرنیا، برکلی |
| تأثیر گرفته از | کارل پوپر ویلارد کواین |
وی در مدرسهٔ ریاضیات و فلسفهٔ ورشو تحصیل و در ۱۹۳۹ به آمریکا مهاجرت کرد و از ۱۹۴۲ در دانشگاه برکلی در کالیفرنیا به تحقیق و تدریس پرداخت.
شهرت او بیشتر بخاطر تحقیقاتش در نظریه مدل، ریاضیات و منطق جبری است اما در زمینه‌های دیگری مانند جبر مجرد ، منطق ریاضی، هندسه، توپولوژی و نظریهٔ مجموعه‌ها نیز فعالیت داشته‌است.
رابرت لاوسن وات، یکی از شاگردانش، او را در کنار ارسطو، فرگه و گودل به عنوان چهار منطق‌دان برجستهٔ تاریخ معرفی کرده‌است.
نظریهٔ وی دربارهٔ صدق در زبان صوری، نزد منطق‌دانان مشهور و منشأ بحثهای فراوانی بوده‌است.
منابع
 |
در ویکی‌انبار پرونده‌هایی دربارهٔ آلفرد تارسکی موجود است. |
مشارکت‌کنندگان ویکی‌پدیا. «Alfred Tarski». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۸ مارس ۲۰۱۰.
| عمومی |
|  | |||
|---|---|---|---|---|---|
| منطقهای کلاسیک |
| ||||
| اصول |
| ||||
| قواعد |
| ||||
| افراد | |||||
| اثرها |
| ||||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.