نتایج جستجو برای: قضیۀ گودل
تعداد نتایج: 125 فیلتر نتایج به سال:
در این مقاله، ضمن مروری بر روش های به کار رفته در اثبات وجود تعادل نش طی ٧٠ سال اخیر، نشان می دهیم که محور این روش ها، قضیۀ نقطۀ ثابت براوئر و تعمیم های آن بوده است و سپس به تبیین روشی جدید می پردازیم که مبتنی بر استفاده از روش های جبری در اثبات وجود تعادل است. گرچه این روش هنوز دوران طفولیت خود را می گذراند، پیشینۀ استفاده از روش های جبری در حل مسائل ریاضی نشان می دهد که این روش، نویدبخش یک رو...
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بینهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شدهاند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرشهای جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توس...
قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت میکند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح میکند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار میکند. ابن صلاح همدانی (درگذشت...
این مقاله تاریخچه پژوهش های فوریه و ریاضیدانان پس از او دربارۀ پیدایش سریهای فوریه، قضیه های همگرایی این سریها و گرایش های جدید در این حوزه از ریاضیات است. در اینجا به بخشی مهم از میراث علمی او خواهیم پرداخت که همان موضوع بسط یک تابع برحسب سری مثلثاتی و دستور محاسبۀ ضرایب مربوط به آن است. این موضوع یکی از راه هایی است که می توان تأمل دربارۀ فوریه و ارتباط او با فیزیک و فلسفۀ طبیعی را از آن آغا...
در سال ۱۹۰۶، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ۱۹۶۹، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...
پذیرش و اثبات اصالت وجود، مستلزم پذیرش مجعولیت وجود است. به همین جهت، اصالت وجود با مجعولیت آن در تلازم است؛ هرچند این دو مسئله تفاوتهایی دارند. مطابق مبانی حکمت متعالیه، ملاک مجعولیت وجود بر پایۀ رابط بودن آن تعیین میشود. رابط بودن وجود به معنای «وابستگی صرف به غیر» است. آنچه به علت خود تعلق محض دارد، مجعول واقعی آن نیز به شمار میرود. در مکتب صدرایی، وجود رابط به این معنا جایگاه متفاوتی با ...
روابط حقوق بین الملل سرمایه گذاری و حقوق بین الملل محیط زیست، یک رابطه تعارض دراهداف اما تلاقی در عمل است. هدف یکی مفنعت اقتصادی شخصی و هدف دیگری منافع بشریجمعی است، اما قلمرو اجرای هر دو حقوق مربوط به یک محیط است. ای ن دو شاخ ه از حقو قبین الملل، خارج از نظام کلاسیکحقوق بین الملل که نظامی دولت محور استقابل تعریفاس تچرا که حقوق بین الملل سرمای ه گذار ی ب ه روابط اقتصاد ی میا ن بازیگرا ن دولت ی ...
در این مقاله، تحلیل سینماتیک و دینامیک معکوس مکانیزم استوارت با در نظرگرفتن تمامی نیروهای گرانشی، اصطکاکی، کریولیس، اینرسی و نیروهای خارجی با استفاده از روش نیوتن- اویلر انجام شده است. تحقیقات متعددی در این زمینه ارائه شده است که از تقریبهای سادهسازی برای کاهش پیچیدگی مسأله استفاده نمودهاند. در این تحقیق معادلات سینماتیکی و دینامیکی مکانیزم استوارت با استفاده از سینماتیک مفصل یونیورسال برای د...
پس از آن که کانتور نظریه مجموعه ها را معرفی کرد، روش های جدید و غیرمتعارفی در ریاضیات به وجود آمد که واکنش هایی را نسبت به آن برانگیخت. امروزه تقریبا در تمام کتب ریاضی، این روشها به صورت فراگیر مشاهده می شوند و در واقع مشکل بتوان توضیح داد که چرا این مطالب روزی جنجال برانگیز بوده است. هیلبرت از روش های نظریه مجموعه ها به شدت طرفداری می کرد ولی بروز پارادوکس هایی مانند پارادوکس راسل، موجب تشویش ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید