اسکولم، تورالف (۱۸۸۷ـ۱۹۶۳): تفاوت میان نسخه‌ها

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

|زادروز=۱۸۸۷م

|سمت =

 

</ref> برای نظریۀ مجموعه<ref>set theory </ref>ها در منطق<ref>logic</ref> کمک کرد. در ساندسور<ref> Sandsvaer </ref> زاده شد. در اوسلو<ref>Oslo </ref> درس خواند و در دانشگاه آن شهر به‌استادی رسید. ۱۸۲ مقالۀ علمی نوشت، ولی به بیشتر آن‌ها، احتمالاً به‌سبب آن که به زبان نروژی بودند، توجه چندانی نشد. کار اصلی‌اش پژوهش در زمینۀ منطق صوری ریاضی<ref>formal mathematical logic</ref> بود. آنچه امروز قضیۀ لونهایم ـ اسکولم<ref> Löwenheim-Skolem theorem </ref> نامیده می‌شود، از مقالات او نشأت گرفته است. یکی از پیامدهای این قضیه پارادوکس اسکولم<ref>Skolem's paradox </ref> است: اگر دستگاهی اصل موضوعی<ref>axiomatic system </ref>، مانند نظریۀ اصل موضوعی مجموعه‌ها<ref>axiomatic set theory </ref>، سازگار، یعنی صدق‌پذیر<ref>satisfiable </ref>، باشد، آن‌گاه باید در دامنه‌ای شمارا<ref>countable domain </ref> صدق‌پذیر باشد. ولی، گئورک کانتور وجود دنباله‌ای ناشمارا و بی‌پایان از توان‌های ترامتناهی<ref>transfinite powers </ref> را ثابت کرده بود. پیش‌تر، موضوعاتی مانند نظریۀ مدل‌ها<ref>model theory</ref>، نظریۀ تابع بازگشتی<ref> recursive function theory</ref>، و نظریۀ اصل موضوعی مجموعه‌ها شاخه‌های منفردی از علم ریاضی بودند. تحقیقات اسکولم پایۀ واحدی برای پرداختن به این موضوعات را فراهم آورد.

[[Category:ریاضیات]] [[Category:(ریاضیات)اشخاص و آثار]]