نتایج جستجو برای: قضیۀ گودل
تعداد نتایج: 125 فیلتر نتایج به سال:
غیاثالدین جمشید کاشانی آخرین ریاضیدان دورۀ باشکوه تمدن اسلامی است که تأثیر زیادی بر آموزش ریاضیات، ریاضیات محاسباتی و بهخصوص ریاضیات معماری گذاشته است. در این مقاله، روش کاشانی در محاسبۀ سینوس °1، محاسبۀ عدد π، استخراج ریشۀ nام و مقایسۀ آن با روش استوین، مسائل مرتبط با ارث مطابق شرع مقدس اسلام و قضیۀ اعداد متحابه در نوشتههای او مورد بررسی قرار گرفته است. مهمترین نکتۀ مقاله، تأکید بر نقش پ...
حق طرح دعوی برای مطالبۀ خسارت و حتی استحقاق دریافت خسارت، به معنای دریافت قطعی خسارت نیست. گاهی شیوۀ ارزیابی، میزان خسارت قابل مطالبه را بسیار کاهش می دهد. بنابراین، همیشه پس از موضوع استحقاق برای جبران خسارت، بحث ثانوی ارزیابی آن، به ویژه در دعاوی بین المللی ملی کردن، از جمله مصادرۀ دارایی های شرکت های بین المللی نفتی، ظهور پیدا می کند. زیان دیدگان در پی افزایش و عاملان زیان در صدد کاهش آن برم...
در این مقاله، برای محاسبۀ مقاومت موج سازی یک شناور زیر دریایی با استفاده از روش المان مرزی ( bem ) و المان بندی سطح جسم به وسیلۀ المان های چهارضلعی هذلولوی و المان بندی سطح آزاد آب دریای اطراف زیردریایی به وسیلۀ المان های چهارضلعی و همچنین با به کارگیری قضیۀ گرین برای هر نقطه از میدان جریان، معادلۀ انتگرالی پتانسیل سرعت را روی جسم و سطح آزاد اعمال شده و با تشکیل سیستم معادلات و اعمال شرایـط مرز...
نظریه¬ی نسبیتِ اینشتاین برای بسیاری از اندیشمندانِ معاصر دستمایه¬ی سنجش¬گری¬های فلسفیِ متنوعی قرار گرفت. بخش عظیمی از این سنجش¬گریها به مواجه¬ی نسبیت با فـلسفه¬ی کانت مربوط مـی¬شود، مواجهه¬ای که توجهِ فیلسوفان و فیزیکدانانِ فراوانی را به خود جلب کرده است. رساله¬ی حاضر تلاشی است برای نمایاندنِ بخشی از مواجه¬ی مذکور از طریقِ پی¬گیریِ نقدهایی که توسطِ کسانی مانند رایشنباخ، کارناپ، گودل، هایزنبرگ و خود اینش...
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: jb (صورت صریح منطق موجه براوری kb)، jgl (صورت صریح منطق اثبات پذیری گودل لوب gl) و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...
هدف از نگارش این مقاله، بررسی کارکرد معرفتی قضایای حقیقیه و خارجیه در صناعت برهان، در سایۀ تأمّل در ضوابط و شرایط منطقی این قضایا است. در باب قضایای حقیقیه و خارجیه، دیدگاههای متعددی ارائه شده است که دیدگاه مختار در پژوهش حاضر، بر مبنای تمایز این دو گزاره از حیث نحوۀ اقتران عقدین استوار است. اگر اقتران عقدالوضع و عقدالحمل در قضیة مسوّره به نحو لزومی باشد، قضیه حقیقیه است و اگر این ارتباط به نحو ...
می توان الأشکال الکریه از منلائوس را مهم ترین اثر در سنت نگارش کتاب های اکر دانست؛ کتاب هایی که با هدف حل مسائل نجوم کروی به رشتۀ تحریر درآمده اند. کتاب اصول از اقلیدس نیز مهمترین اثر دربارۀ هندسۀ اشکال مسطحه در ریاضی باستان است. در مقالۀ پیش رو نگارنده بر آن است که با قیاس میان کتاب الأشکال الکریه و اصول اقلیدس، نشان دهد که مقالۀ اول الأشکال الکریه کوششی جهت بازسازی محتوای مقالۀ اول اصول برای ...
از لحاظ نظری لاادریگرایان مدعی هستند که هیچ تصوری از خدا نداریم بمانند آنچه منون فیلسوف قرون وسطی در مناظرهاش با سقراط گفته است، انسان راجع به آنچه دانایی و تصوری از آن ندارد، نمیتواند تحقیق یا جستوجو کند و اگر هم یافت، معلوم نیست همانی باشد که بهدنبالش بوده است، لذا بنا بر قضیۀ مقبول و بدیهی «اگر چیزی غیرقابل تصور تلقی گردد، بیتردید تصدیق آن غیرممکن خواهد بود» نتیجه گرفتهاند که خدایِ تص...
در این پژوهش که با روش مطالعۀ کیفی و نگرشی تحلیلی، تدوین شده است پس از ذکر اجمالیِ مقدماتی در مصلحت اندیشی، با تحلیل بارزترین نمونۀ مصلحت اندیشی در سورۀ یوسف (علیه السلام) یعنی ماجرای جاسازی ظرف مخصوص در بار بنیامین و تطبیق ضوابط اصولی بر آن، ضمن پاسخ به شبهات پیرامونی، به یافته های جدیدی رسیده است؛ اولاً متزاحم اهمّ در این ماجرا -که بر بیشتر مفسّران مشتبه شده - مشخص شده است . ثانیاَ با تطبیق اجزای ...
کتاب اصول اقلیدس، که گاهی آن را به نام مؤلفش «کتاب اقلیدس» نیز مینامند و در تألیفات ریاضی دورۀ اسلامی آن را به علت شهرت فراوانش کتاب اصول نیز خواندهاند، از منابع مهم ریاضیات دورۀ اسلامی بوده است. در این مقاله، پس از بررسی تاریخ ترجمۀ این اثر به زبان عربی و تحریر خواجه نصیرالدین طوسی از آن، برخی از ویژگیهای این تحریر، از راه مقایسۀ آن با ترجمۀ اسحاق بن حنین، خواهد آمد. سپس با مقایسۀ بخشهایی ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید