اسکولم، تورالف (۱۸۸۷ـ۱۹۶۳): تفاوت میان نسخه‌ها
بدون خلاصۀ ویرایش |
Mohammadi1 (بحث | مشارکتها) بدون خلاصۀ ویرایش |
||
| (یک نسخهٔ میانیِ ایجادشده توسط همین کاربر نشان داده نشد) | |||
| خط ۱: | خط ۱: | ||
{{جعبه زندگینامه | {{جعبه زندگینامه | ||
|عنوان =تورالف اسکولم | |عنوان =تورالف اسکولم | ||
| خط ۹: | خط ۶: | ||
|نام مستعار= | |نام مستعار= | ||
|لقب= | |لقب= | ||
|زادروز=۱۸۸۷م | |زادروز=ساندسور ۱۸۸۷م | ||
|تاریخ مرگ=۱۹۶۳م | |تاریخ مرگ=۱۹۶۳م | ||
|دوره زندگی= | |دوره زندگی= | ||
| خط ۱۹: | خط ۱۶: | ||
|سبک = | |سبک = | ||
|مکتب = | |مکتب = | ||
|سمت = | |سمت =استاد دانشگاه اسلو | ||
|جوایز و افتخارات = | |جوایز و افتخارات = | ||
|آثار = | |آثار = | ||
| خط ۲۹: | خط ۲۶: | ||
|پست تخصصی = | |پست تخصصی = | ||
|باشگاه = | |باشگاه = | ||
}} | }} | ||
[[پرونده:11315300.jpg|بندانگشتی|تورالف اسکولم]] | |||
اِسکولِم، تورالف (۱۸۸۷ـ۱۹۶۳م)(Skolem, Thoralf) | |||
ریاضی‌دان نروژی. دربارۀ معادلات دیوفانتی<ref>Diophantine equations | |||
</ref> پژوهش‌های مهمی کرد و به فراهم‌ساختن پایه‌های اصل موضوعی<ref>axiomatic foundations | </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>، و نظریۀ اصل موضوعی مجموعهها شاخه‌های منفردی از علم ریاضی بودند. تحقیقات اسکولم پایۀ واحدی برای پرداختن به این موضوعات را فراهم آورد. | |||
</ref> برای نظریۀ مجموعه<ref>set theory </ref>ها در منطق<ref>logic</ref> کمک کرد. در ساندسور<ref> Sandsvaer </ref> زاده شد. در اوسلو<ref>Oslo </ref> درس خواند و در دانشگاه آن شهر | |||
| | ||
| خط ۳۹: | خط ۳۸: | ||
---- | ---- | ||
[[Category:ریاضیات]] [[Category:(ریاضیات)اشخاص و آثار]] | [[Category:ریاضیات]] | ||
[[Category:(ریاضیات)اشخاص و آثار]] | |||
<references /> | |||
نسخهٔ کنونی تا ۹ مهٔ ۲۰۲۲، ساعت ۰۷:۳۹
| تورالف اسکولم Thoralf Skolem | |
|---|---|
| زادروز |
ساندسور ۱۸۸۷م |
| درگذشت | ۱۹۶۳م |
| ملیت | نروژی |
| تحصیلات و محل تحصیل | اسلو |
| شغل و تخصص اصلی | ریاضی دان |
| گروه مقاله | ریاضیات |
اِسکولِم، تورالف (۱۸۸۷ـ۱۹۶۳م)(Skolem, Thoralf)
ریاضی‌دان نروژی. دربارۀ معادلات دیوفانتی[۱] پژوهش‌های مهمی کرد و به فراهم‌ساختن پایه‌های اصل موضوعی[۲] برای نظریۀ مجموعه[۳]ها در منطق[۴] کمک کرد. در ساندسور[۵] زاده شد. در اوسلو[۶] درس خواند و در دانشگاه آن شهر به استادی رسید. ۱۸۲ مقالۀ علمی نوشت، ولی به بیشتر آن‌ها، احتمالاً به سبب آن که به زبان نروژی بودند، توجه چندانی نشد. کار اصلی‌اش پژوهش در زمینۀ منطق صوری ریاضی[۷] بود. آنچه امروز قضیۀ لونهایم ـ اسکولم[۸] نامیده می‌شود، از مقالات او نشأت گرفته است. یکی از پیامدهای این قضیه پارادوکس اسکولم[۹] است: اگر دستگاهی اصل موضوعی[۱۰]، مانند نظریۀ اصل موضوعی مجموعهها[۱۱]، سازگار، یعنی صدق‌پذیر[۱۲]، باشد، آن‌گاه باید در دامنه‌ای شمارا[۱۳] صدق‌پذیر باشد. ولی، گئورک کانتور وجود دنباله‌ای ناشمارا و بی‌پایان از توان‌های ترامتناهی[۱۴] را ثابت کرده بود. پیش‌تر، موضوعاتی مانند نظریۀ مدل‌ها[۱۵]، نظریۀ تابع بازگشتی[۱۶]، و نظریۀ اصل موضوعی مجموعهها شاخه‌های منفردی از علم ریاضی بودند. تحقیقات اسکولم پایۀ واحدی برای پرداختن به این موضوعات را فراهم آورد.
- ↑ Diophantine equations
- ↑ axiomatic foundations
- ↑ set theory
- ↑ logic
- ↑ Sandsvaer
- ↑ Oslo
- ↑ formal mathematical logic
- ↑ Löwenheim-Skolem theorem
- ↑ Skolem's paradox
- ↑ axiomatic system
- ↑ axiomatic set theory
- ↑ satisfiable
- ↑ countable domain
- ↑ transfinite powers
- ↑ model theory
- ↑ recursive function theory