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

{{جعبه زندگینامه

|عنوان =تورالف اسکولم  

|پست تخصصی =

|باشگاه =

</ref> پژوهش‌های مهمی کرد و به فراهم‌ساختن پایه‌های اصل موضوعی<ref>axiomatic foundations  

</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>، و نظریۀ اصل موضوعی مجموعه‌ها شاخه‌های منفردی از علم ریاضی بودند. تحقیقات اسکولم پایۀ واحدی برای پرداختن به این موضوعات را فراهم آورد.