اسکولم، تورالف (۱۸۸۷ـ۱۹۶۳)

از ویکیجو | دانشنامه آزاد پارسی
تورالف اسکولم
Thoralf Skolem
زادروز ساندسور ۱۸۸۷م
درگذشت ۱۹۶۳م
ملیت نروژی
تحصیلات و محل تحصیل اسلو
شغل و تخصص اصلی ریاضی دان
گروه مقاله ریاضیات
تورالف اسکولم

اِسکولِم، تورالف (۱۸۸۷ـ۱۹۶۳م)(Skolem, Thoralf)

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

 


  1. Diophantine equations
  2. axiomatic foundations
  3. set theory
  4. logic
  5. Sandsvaer
  6. Oslo
  7. formal mathematical logic
  8. Löwenheim-Skolem theorem
  9. Skolem's paradox
  10. axiomatic system
  11. axiomatic set theory
  12. satisfiable
  13. countable domain
  14. transfinite powers
  15. model theory
  16. recursive function theory