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

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

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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

سیستم ارتفاعی دوگانه در سرشکنی سطح مبنای آمریکای شمالی (NAD-83) به کار برده شده که کمتر افرادی در سطح دنیا از این موضوع باخبر هستند، و چنانچه درباره­ ی این مطلب از قبل چیزی شنیده باشند. کاربرد این موضوع در اینجا در واقع یک نوع یادآوری به حساب می­ آید زیرا که مسائل ژئودتیکی بسیاری وجود دارند که راه دسترسی به آنها از این قضیه آسانتر می­ باشد. این مقاله سعی دارد که بیان نماید این موضوع چیست، و چرا...

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

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

در این رساله قصد داریم مفهوم تمامریختی را روی فضاهای بدون نرم، به روش [6]، بررسی کنیم. اهمیت مسئله، علاوه بر بدون نرم بودن فضاها، در این است که دامنه های نگاشتهای مورد نظر، می توانند مجموعه هایی غیرمحدب و حتی با درون تهی باشند. مطالب فوق، به طریق [7]، در آخرین بخش شرح داده شده است . ابتدا به بیان مطالبی می پردازیم که آگاهی از آنها برای شروع کار ضروری است . سپس رسته های c و c c و خواص آنها را بر...

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

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