حساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی

سال انتشار: 1384
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 181

نسخه کامل این مقاله ارائه نشده است و در دسترس نمی باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_MCT-24-34_003

تاریخ نمایه سازی: 6 شهریور 1401

چکیده مقاله:

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

نویسندگان

مرتضی منیری

دانشگاه شهید بهشتی، گروه ریاضی مرکز تحقیقات فیزیک نظری و ریاضیات