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

از ویکی‌پدیا، دانشنامهٔ آزاد
محتوای حذف‌شده محتوای افزوده‌شده
Fatemibot (بحث | مشارکت‌ها)
FreshmanBot (بحث | مشارکت‌ها)
جز ←‏top: اصلاح فاصله مجازی + اصلاح نویسه با ویرایشگر خودکار فارسی
خط ۳۰: خط ۳۰:
وی در مدرسهٔ ریاضیات و فلسفهٔ [[ورشو]] تحصیل و در ۱۹۳۹ به [[آمریکا]] مهاجرت کرد و از ۱۹۴۲ در دانشگاه [[دانشگاه کالیفرنیا، برکلی|برکلی]] در کالیفرنیا به تحقیق و تدریس پرداخت.
وی در مدرسهٔ ریاضیات و فلسفهٔ [[ورشو]] تحصیل و در ۱۹۳۹ به [[آمریکا]] مهاجرت کرد و از ۱۹۴۲ در دانشگاه [[دانشگاه کالیفرنیا، برکلی|برکلی]] در کالیفرنیا به تحقیق و تدریس پرداخت.


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


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


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



نسخهٔ ‏۱۳ نوامبر ۲۰۱۸، ساعت ۰۶:۵۲

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

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

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

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

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

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

منابع

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