معنی اسکولم تورالف در دیکشنری فارسی چیست؟

در این مطلب از سایت انتخاب روز پاسخ دقیق اسکولم تورالف در دانشنامه آزاد واژگان فارسی را پیدا خواهید کرد.

اسکولم تورالف در دانشنامه آزاد فارسی:

اِسکولِم، تورالف (۱۸۸۷ـ۱۹۶۳)(Skolem, Thoralf)
ریاضی دان نروژی. دربارۀ معادلات دیوفانتی پژوهش های مهمی کرد و به فراهم ساختن پایه های اصل موضوعی برای نظریۀ مجموعهها در منطق کمک کرد. در ساندسور زاده شد. در اوسلو درس خواند و در دانشگاه آن شهر به استادی رسید. ۱۸۲ مقالۀ علمی نوشت، ولی به بیشتر آن ها، احتمالاً به سبب آن که به زبان نروژی بودند، توجه چندانی نشد. کار اصلی اش پژوهش در زمینۀ منطق صوری ریاضی بود. آنچه امروز قضیۀ لونهایم ـ اسکولم نامیده می شود، از مقالات او نشأت گرفته است. یکی از پیامدهای این قضیه پارادوکس اسکولم است: اگر دستگاهی اصل موضوعی، مانند نظریۀ اصل موضوعی مجموعه ها، سازگار، یعنی صدق پذیر، باشد، آن گاه باید در دامنه ای شمارا صدق پذیر باشد. ولی، گئورک کانتور وجود دنباله ای ناشمارا و بی پایان از توان های ترامتناهی را ثابت کرده بود. پیش تر، موضوعاتی مانند نظریۀ مدل ها، نظریۀ تابع بازگشتی، و نظریۀ اصل موضوعی مجموعه ها شاخه های منفردی از علم ریاضی بودند. تحقیقات اسکولم پایۀ واحدی برای پرداختن به این موضوعات را فراهم آورد.

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