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