آلفرد تارسکی: تفاوت میان نسخه‌ها

از ویکی‌پدیا، دانشنامهٔ آزاد
محتوای حذف‌شده محتوای افزوده‌شده
ویکی‌پیوند
خط ۷: خط ۷:
|زادگاه = [[ورشو]]، [[امپراتوری روسیه]]
|زادگاه = [[ورشو]]، [[امپراتوری روسیه]]
|تاریخ مرگ = {{مرگ و سن|۱۹۸۳|۱۰|۲۶|۱۹۰۱|۱|۱۴}}
|تاریخ مرگ = {{مرگ و سن|۱۹۸۳|۱۰|۲۶|۱۹۰۱|۱|۱۴}}
|محل مرگ = [[برکلی]]، [[کالیفرنیا]]
|محل مرگ = [[برکلی، کالیفرنیا]]
|محل زندگی =
|محل زندگی =
|شهروند = [[ایالات متحده آمریکا]]
|شهروند = [[ایالات متحده آمریکا]]

نسخهٔ ‏۲۸ ژوئیهٔ ۲۰۲۰، ساعت ۰۰:۱۸

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

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

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

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

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

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

منابع

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