تارسکی، آلفرد (۱۹۰۲ـ۱۹۸۲)
(تغییرمسیر از Alfred Tarski)
تارْسْکی، آلْفرِد (۱۹۰۲ـ۱۹۸۲)(Tarski, Alfred)
(نام اصلی: آلفرد تایتلباوم[۱]) منطق‌دان و ریاضی‌دان امریکاییِ لهستانی‌تبار. در ورشو[۲] متولد شد. از ۱۹۲۵ تا شروع جنگ جهانی دوم در آن‌جا سمتِ استادی داشت. توانست به ایالات متحده مهاجرت کند و به دانشگاه کالیفرنیا در برکلی[۳] رفت (۱۹۴۲ـ۱۹۶۸). در پیشبرد منطق ریاضی، به‌ویژه بخش‌هایی که به معنی‌شناسی[۴] و «نظریۀ مدل‌ها[۵]» مرتبط می‌شدند، نقش بسیاری داشت. به مناسبت آنچه «پارادُکس باناخ ـ تارسکی[۶]» نامیده می‌شود، و به مجموعه‌های اندازه‌ناپذیر[۷] مربوط است، شهرت دارد، اما شهرتش بیشتر برای تعریفِ صدق در زبان‌های منطق صوری است؛ او این تعریف را در تک‌نگاشتی با عنوان مفهوم صدق در زبان‌های صوری شده[۸] (۱۹۳۳) تنظیم و تدوین کرد.