نتایج جستجو برای: قضیه ناتمامیت گودل

تعداد نتایج: 3154  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی 1394

فرض کنید a یک جبر باناخ باشد و (σ(x و (r(x به ازای هر xϵ a طیف و شعاع طیفی باشند ما روابط بین که در یکی از شرایط زیر صدق می کند.روابط بین a,b ϵ a که در شرایط زیر صدق می کند را بررسی خواهیم کرد. 1.(σ(ax)=σ(bx) (∀xϵa 2.r(ax)≤r(bx) ( ∀xϵa بویژه مشاهده خواهیم کرد که (1)نتیجه می دهد که اگر a یک c*-جبر باشد آنگاه a=b و (2) نتیجه می دهد که اگرa یک c*-جبر اول باشد آنگاه a ϵ cb. در نهایت به عنوان نت...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی 1392

آنالیز روی کره واحد به صورت بخشی از آنالیز فوریه ظاهر می شود. این بخش به طور وسیع مورد مطالعه قرار گرفته و در حل طیف گسترده ای از مسایل همچون ریاضیات کاربردی از آنالیز عددی گرفته تا علوم زمین و مهندسی به کار برده شده است. در این اثر, به معرفی نتایجی کلاسیک پیرامون تقریب توابع π 2-متناوب می پردازیم و سپس سعی می کنیم آن ها را به کره هایی از مراتب بالاتر تعمیم دهیم. هارمونیک های کروی کلاسیک روی کر...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده علوم 1392

در این پایان نامه به بررسی قضیه های نقطه ثابت در فضاهای متریک کامل می پردازیم. رده هایی از نگاشتهای غیرخطی را در نظر می گیریم که شامل رده نگاشت های غیر انبساطی مستحکم می باشند که مسئله تعادل را در فضای هیلبرت نتیجه می دهند. در بررسی قضایای نقطه ثابت روی نگاشت های غیر خطی ازقضایای نگاشت های غیر انبساطی، نگاشت های غیر توسیعی، نگاشت های هیبریدی،و قضایای نیم بسته در فضای هیلبرت استفاده می شود. بعلا...

ژورنال: :فرهنگ و اندیشه ریاضی 2009
مهدی رجبعلی پور

تا آنجا که ما می دانیم، مصریان ابداع اولین نماد کسر را در فهرست افتخارات خود دارند و شاید قرنها طول کشید تا در کنار دیگر اعداد مصری وارد محاسبات شد. یک کسر متعارفی دلخواه را چگونه باید نمایش داد تا بتواند در محاسبات رو به رشد فنی و اقتصادی وارد شود؟ هدف این مقاله تدریس قضیه های کهنه یا کشف قضیه های نو نیست. پژوهشی است در بررسی دگردیسی کسرهای مصری و گمانه هایی است در انگیزه های یکی از دیرینه تری...

ژورنال: :فلسفه 2005
علی م.افضلی

از مهم ترین انتقادات کانت به برهان وجودی این است که برهان وجودی،یک برهان توتولوژیک و ازاین رو بی حاصل است ،زیرا به ادعای طرفداران آن،وجود در تعریف خدا گنجانده شده است،یعنی قضیه «خداوجوددارد»،یک قضیه تحلیلی است.درحالی که تمام قضایای وجودی تالیفی اند نه تحلیلی.به علاوه اساس این برهان بر این است که وجود،یک کمال یا محمول حقیقی است . اما وجود،صفت یا محمول حقیقی هیچ چیز نیست ،بلکه نقش آن فقط وضع ((po...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1388

نظریه¬ی نسبیتِ اینشتاین برای بسیاری از اندیشمندانِ معاصر دستمایه¬ی سنجش¬گری¬های فلسفیِ متنوعی قرار گرفت. بخش عظیمی از این سنجش¬گریها به مواجه¬ی نسبیت با فـلسفه¬ی کانت مربوط مـی¬شود، مواجهه¬ای که توجهِ فیلسوفان و فیزیکدانانِ فراوانی را به خود جلب کرده است. رساله¬ی حاضر تلاشی است برای نمایاندنِ بخشی از مواجه¬ی مذکور از طریقِ پی¬گیریِ نقدهایی که توسطِ کسانی مانند رایشنباخ، کارناپ، گودل، هایزنبرگ و خود اینش...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ولی عصر (عج) - رفسنجان - دانشکده ریاضی و کامپیوتر 1391

قضیه ی پرون-فروبینیوس مفهومی اساسی مربوط به شعاع طیفی ماتریس های نامنفی است . این قضیه علاوه بر کاربرد گسترده در ریاضیات مانند زنجیر مارکوف، قضیه ی گراف، قضیه ی بازی، آنالیز عددی و در بسیاری از زمینه های مختلف علوم مثل اقتصاد، تحقیق در عملیات، رتبه ی صفحات در اینترنت نیز به طور وسیعی مورد استفاده قرار می گیرد. با توجه به اینکه مساُله ی مقدار ویژه ی تانسورهای نامنفی، موضوع مهم مورد مطالعه در شاخه...

ژورنال: :حکمت سینوی (مشکوة النور) 2015
سید محمد علی حجتی علیرضا دارابی لطف الله نبوی

مقاله حاضر به بررسی و داوری نظرات منطق دانان سینوی درباره شرایط انتاج قیاس استثنائی (با تأکید بر شرطی متصل) اختصاص دارد. پس از بررسی متون متعدد منطق سینوی، مجموعه نظرات در شش دسته تقسیم بندی شده است. در دسته اول، شرطی در قیاس استثنائی به صورت مهمله استفاده می شود که با مبانی منطق سینوی در شرطیات هماهنگ نیست. با کنار گذاشتن این نظر درمی یابیم همه منطق دانان سینوی درباره ضرورت لزومی بودن شرطی در ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید مدنی آذربایجان - دانشکده علوم پایه 1393

در این پایان نامه به بررسی چند نوع معادله دیفرانسیل کسری با مشتق کاپوتو یا ریمان لیوویل با شرایط مرزی انتگرالی‏، متناوب و غیر متناوب می پردازیم. همچنین چند شمول دیفرانسیل مرتبه کسری با شرایط مرزی ‏انتگرالی‏، سیگما‏، خاص و غیر تناوبی را مورد بررسی قرار خواهیم داد. در این راستا از قضایای متعدد نقطه ثابت برای وجود جواب معادلات و شمول های دیفرانسیل کسری با شرایط مرزی مختلف استفاده خواهیم نمود.

ژورنال: :منطق پژوهی 0
اسداله فلاحی استادیار مؤسسة حکمت و فلسفة ایران

چکیده فخر الدین رازی عکس مستوی قضایای حقیقیه و خارجیه را برای نخستین بار به صورت جداگانه مورد بحث قرار داده است، اما افضل الدین خونجی بسیاری از احکام او را مورد نقد قرار داد و بیش تر این نقدها از سوی منطق دانان بعدی پذیرفته شده است. عکس مستوی قضایای خارجیه در مقاله دیگری بررسی شده و با فرمول های منطق جدید آشکار شده است که در دو مورد فخر رازی خطا کرده و خونجی بر حق بوده است و در موارد دیگر، اختل...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید