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