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

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

ژورنال: :فرهنگ و اندیشه ریاضی 2009
محمدرضا درفشه

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

ژورنال: :مقالات و بررسیها(منتشر نمی شود) 2001
محمد علی عباسیان چالشتری

انسانها، به طور طبیعی، دارای استعدادی هستند که به وسیلة آن می توانند در مورد اشخاص یا اشیاء جزئی موجود حکم صادر کرده یا تصدیقی انجام بدهند. آنان در موقعیتهای گوناگون و به دلایل مختلف، احکام و تصدیقات خود را در قالب الفاظ مرکب، نظیر جمله های حملیه، تعبیر می کنند، مثلاً: «حافظ شاعر است» و «شما در حال خواندن هستید» در مواقعی نیز، انسانها، به احکام و تصدیقاتی دربارة معدومات نائل می شوند؛ که آنها را ...

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

ژورنال: :دوفصلنامه علمی -پژوهشی فرهنگ و ادبیات عامه 2014
رقیه فراهانی علیرضا فولادی

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

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

فیزیک آماری اشاره به رویکردهای آماری و احتمالاتی به مکانیک کلاسیک و مکانیک کوانتوم دارد، بنابراین از عبارت مکانیک آماری نیز به همان معنا استفاده می شود. رویکرد احتمالاتی برای سیستم های کلاسیک در مواقعی که تعداد درجات آزادی و متغیرها زیاد و حل دقیق معادلات حاکم بر سیستم دشوار و یا کلاً غیر قابل حل هستند، خیلی خوب کار می کنند. یکی از سیستم هایی که برای توصیف قوانین ترمودینامیکی آن نیاز به مکانیک آ...

ژورنال: :فرهنگ و اندیشه ریاضی 2013
علیرضا بحرینی

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

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

در این پایان نامه، پس از تعمیم مفهوم احاطه سازی روی دسته ای از دنباله های همگرا به صفر، شرایطی بر روی ماتریس بی نهایت بعدی p را بررسی می کنیم به گونه ای که برای هر c_0^? ? ? و ?، ? p توسط ? به طور قوی احاطه شود. مشاهده می کنیم که برخلاف حالت متناهی که برای هر ماتریس تصادفی دوگانه و هر x?r^n، x p توسط x احاطه می شود، در حالت نامتناهی چنین اتفاقی نمی افتد. حتی با بیان مثالی مشاهده می کنیم که برای...

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

در این نوشته دو برهان برای قضیه اساسی جبر آورده ایم که به نظر نمی رسد قبلا دیده شده باشند. در اولین برهان از قضیه انتگرال کشی استفاده می شود. دومین برهان تنها از انتگرال حاصل از پارامتری سازی انتگرال مسیری برهان اول و نتایجی از حسابان پیشرفته استفاده می کند.

ژورنال: :مقالات و بررسیها(منتشر نمی شود) 1999
محمد علی عباسیان چاشتری

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

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

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