کاربردهای منطق در آنالیز ریاضی | ||
| منطقپژوهی | ||
| دوره 11، شماره 1 - شماره پیاپی 21، فروردین 1399، صفحه 15-31 اصل مقاله (218.93 K) | ||
| نوع مقاله: پژوهشی | ||
| شناسه دیجیتال (DOI): 10.30465/lsj.2021.20623.1228 | ||
| نویسنده | ||
| کریم خانکی* | ||
| عضو هیات علمی، ریاضی، گروه علوم پایه، دانشکده برق و علوم پایه، دانشگاه صنعتی اراک | ||
| چکیده | ||
| از ابتدای پیدایش منطق جدید، پیوندهای بنیادی بین منطق و شاخههای مختلف ریاضیات ایجاد شده است که منجر به حل مسایلی در ریاضیات و بلعکس حل مسائل بنیانی در خود منطق گردیده است. یکی از چالشهای روش منطقی در مطالعه ساختارهای ریاضی عدم امکان مطالعه بعضی از ساختارهای مهم ریاضیات، از جمله ساختارهای موجود در آنالیز، در قالب زبان و منطق مرتبه اول میباشد. هدف اصلی این مقاله معرفی منطقی مناسب برای مطالعه این ساختارها و سپس حل مسائلی در آنالیز با استفاده از ابزارهای منطقی است. در ابتدای این مقاله مروری کوتاه بر منطقهای مناسب برای مطالعه ساختارهای موجود در آنالیز ریاضی خواهیم داشت و برخی از مهمترین کاربردهای منطق در آنالیز را بیان خواهیم کرد. سپس یکی از دستاوردهای اخیر که کاربردی مهم از منطق در آنالیز میباشد را ارائه و اثبات میکنیم. بهویژه، مفهوم تعریفپذیری در منطق و پیوند آن با آنالیز ریاضی را مورد مطالعه قرار میدهیم. | ||
| کلیدواژهها | ||
| منطق پیوسته؛ فراضرب؛ تعریفپذیری؛ بطور متناهی ارائهپذیر؛ فضای تایپ | ||
| مراجع | ||
|
| ||
|
آمار تعداد مشاهده مقاله: 1,075 تعداد دریافت فایل اصل مقاله: 506 |
||