تارسکی الفرد

دانشنامه آزاد فارسی

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

پیشنهاد کاربران

بپرس