تارسکی، آلفرد (۱۹۰۲ـ۱۹۸۲)

از ویکیجو | دانشنامه آزاد پارسی

تارْسْکی، آلْفرِد (۱۹۰۲ـ۱۹۸۲)(Tarski, Alfred)

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

 

 


  1. Alfred Tajtelbaum
  2. Warsaw
  3. Berkeley
  4. semantics
  5. model theory
  6. Banach-Tarski paradox
  7. non-measurable sets
  8. Der Wahrheitsbegriff in den Fromalisierten Sprachen/Concept of Truth in Formalized Language