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

محتوای حذف‌شده محتوای افزوده‌شده
جز جایگزینی با اشتباه‌یاب: لهستانی⟸لهستانی (قوم)|لهستانی، منطقدان⟸منطق‌دان، منطقدانان⟸منطق‌دانان
خط ۳۲:
شهرت او بیشتر بخاطر تحقیقاتش در [[نظریه مدل]]، [[ریاضیات]] و [[منطق جبری]] است اما در زمینه‌های دیگری مانند [[جبر مجرد]] ، [[منطق ریاضی]]، [[هندسه]]، [[توپولوژی]] و [[نظریه مجموعه‌ها|نظریهٔ مجموعه‌ها]] نیز فعالیت داشته‌است.
 
رابرت لاوسن وات، یکی از شاگردانش، او را در کنار [[ارسطو]]، [[فرگه]] و [[کورت گودل|گودل]] به عنوان چهار منطق‌دان برجستهٔ تاریخ معرفی کرده‌است.
 
نظریهٔ وی دربارهٔ [[حقیقت|صدق]] در زبان صوری، نزد منطق‌دانان مشهور و منشأ بحثهای فراوانی بوده‌است.