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

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

ژورنال: جاویدان خرد 2013

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

ژورنال: فلسفه 2004
unknown

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

ژورنال: حکمت صدرایی 2016

در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

ژورنال: :caspian journal of mathematical sciences 0
a. babakhani department of mathematics, faculty of basic science university of technology, 47148-71167, iran

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

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

چکیده ندارد.

ژورنال: :گستره علوم آماری 0
مهدی شمس استادیار، آمار، دانشگاه کاشان

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

دیوان بین المللی دادگستری در تاریخ ۵ اکتبر ۲۰۱۶ در قضیه دعاوی جزایر مارشال علیه بریتانیا، هند و پاکستان به علّتِ «فقدان اختلاف» میان طرفین دعوا، حکم به عدم صلاحیّت خود صادر کرد. رأی دیوان در قضیه مارشال علیه بریتانیا که با ۸رأی موافق ، ۸رأی مخالف و با رأی قاطع رییس دیوان اتخاذ گردیده ، ماهیتی منحصر به فرد دارد و از تحوّل «سیاست قضایی» دیوان در قبالِ احراز «اختلاف»حکایت می‌کند. چنین می‌نماید که تحول ...

ژورنال: :حکمت و فلسفه 0
موسی ملایری هیئت علمی دانشگاه آزاد واحد تهران مرکز

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

هدف این مقاله ارائه اثبات دیگری از قضیه اساسی جبر بر مبنای خواص ماتریس های نمایی در فضای برداری نرمدار اقلیدسی است.

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

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