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

در این پایان نامه که بر مبنای مقاله ذیل نوشته می شود، مفهومی از تکامل و یک نوع کامل سازی در غیاب اصل انتخاب شمارا ارائه می شود. این کار ساخت اعداد حقیقی و کامل سازی یک فضای متری را در بر می گیرد. مجموعه اعداد حقیقی به عنوان یک میدان هیتینگ ارشمیدسی کامل که یک شئ پایانی در رسته میدان های هیتینگ ارشمیدسی می باشد، طبقه بندی می شود ‎f‎. ‎richman‎, ‎real number and other completions‎, ‎math‎. ‎lo...

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

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

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

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

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­‌های کلامی خود به‌تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­‌های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­‌ا...

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­ های کلامی خود به تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­ های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­ ا...

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