تصمیم ناپذیری منطق محمولات مرتبه اول و مسایل کلمه ای | کتابخانه مجازی الفبا

تصمیم ناپذیری منطق محمولات مرتبه اول و مسایل کلمه ای | کتابخانه مجازی الفبا

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

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
تصمیم ناپذیری منطق محمولات مرتبه اول و مسایل کلمه ای
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
تصمیم ناپذیری منطق محمولات مرتبه اول و مسایل کلمه ای
ویرایش اثر
چکیده :
با شیوه های متعددی، تصمیم ناپذیری منطق محمولات اثبات شده که در هر کدام از این روش ها به نحوی از دیگر حوزه های علوم استفاده شده است. یکی از شیوه های نسبتا پیچیده، اثباتی است که مبتنی بر مفاهیم جبری مانند گروه ها، نیم گروه ها (semi groups) و مسایل کلمه ای (word problems) مرتبط با آن است. پس از بررسی این شیوه برخی مسایل تازه نمود پیدا می کند، مثلا به نظر می رسد تمامی اثبات های ارایه شده یک هسته مرکزی دارند که در همه آن مشترک است و متاثر از مساله توقف (halting problem) هیلبرت است. با مشخص شدن این موضوع به نظر می رسد تصمیم ناپذیری منطق محمولات امر تبعی است؛ یعنی منطق محمولات مانند زبان گسترده ای است که قابلیت بیان مسایل تصمیم ناپذیر را داراست.
نویسنده :
حجتی سیدمحمد, مزگی نژاد مرتضی
منبع اصلی :
http://fa.journals.sid.ir/ViewPaper.aspx?id=62068
جنس منبع:
متن
پایگاه :
مقاله (پژوهشنامه علوم انسانی- سال 1385- شماره 49- از صفحه 161 تا 182)
نوع منبع :
نمایه مقاله , کتابخانه عمومی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال