ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Subsystems of Second Order Arithmetic

دانلود کتاب زیر سیستم های حسابی مرتبه دوم

Subsystems of Second Order Arithmetic

مشخصات کتاب

Subsystems of Second Order Arithmetic

دسته بندی: منطق
ویرایش: 1st 
نویسندگان:   
سری: Perspectives in Mathematical Logic 
ISBN (شابک) : 9783642642036, 9783642599712 
ناشر: Springer 
سال نشر: 1999 
تعداد صفحات: 449 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 36 مگابایت

قیمت کتاب (تومان) : 50,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Subsystems of Second Order Arithmetic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زیر سیستم های حسابی مرتبه دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زیر سیستم های حسابی مرتبه دوم

"از نقطه نظر مبانی ریاضیات، این اثر قطعی سیمپسون، مشتاقانه ترین تک نگاری مورد انتظار برای بیش از یک دهه است. "زیر سیستم های حسابی مرتبه دوم" سیستم های رسمی اساسی را ارائه می دهند که معمولاً در درک فعلی ما استفاده می شود. از ساختار منطقی ریاضیات کلاسیک سیمپسون یک روش دایره‌المعارفی از این سیستم‌ها را با تأکید بر *برنامه هیلبرت* (که در آن ریاضیات نامتناهی باید توسط ریاضیات پایانی ایمن یا بازتفسیر شود) و *ریاضیات معکوس در حال ظهور (که بدیهیات لازم است) ارائه می‌کند. برای ارائه قضایا با استخراج بدیهیات از قضایا تعیین می شود. مباحث ریاضی کلاسیک که در این اصطلاحات بدیهی بررسی می شوند بسیار متنوع هستند و شامل مباحث استاندارد در فضاهای متریک کامل قابل تفکیک و فضاهای باناخ، گروه های قابل شمارش، حلقه ها، میدان ها و فضاهای برداری، معمولی هستند. معادلات دیفرانسیل، نقاط ثابت، بازی‌های بی‌نهایت، نظریه رمزی، و بسیاری موارد دیگر. این مطالب با بسیاری از مسائل باز و ارجاعات مفصل به ادبیات، به‌ویژه برای نظریه‌پردازان اثبات و نظریه‌پردازان بازگشت ارزشمند است. این کتاب هم برای دانش‌آموزان مبتدی در رشته منطق ریاضی مناسب است و هم برای متخصصان دایره‌المعارفی است.» هاروی فریدمن، دانشگاه ایالتی اوهایو


توضیحاتی درمورد کتاب به خارجی

"From the point of view of the foundations of mathematics, this definitive work by Simpson is the most anxiously awaited monograph for over a decade. The "subsystems of second order arithmetic" provide the basic formal systems normally used in our current understanding of the logical structure of classical mathematics. Simpson provides an encyclopedic treatment of these systems with an emphasis on *Hilbert's program* (where infinitary mathematics is to be secured or reinterpreted by finitary mathematics), and the emerging *reverse mathematics* (where axioms necessary for providing theorems are determined by deriving axioms from theorems). The classical mathematical topics treated in these axiomatic terms are very diverse, and include standard topics in complete separable metric spaces and Banach spaces, countable groups, rings, fields, and vector spaces, ordinary differential equations, fixed points, infinite games, Ramsey theory, and many others. The material, with its many open problems and detailed references to the literature, is particularly valuable for proof theorists and recursion theorists. The book is both suitable for the beginning graduate student in mathematical logic, and encyclopedic for the expert." Harvey Friedman, Ohio State University



فهرست مطالب


Content: 
Front Matter....Pages I-XIV
Introduction....Pages 1-59
Front Matter....Pages 61-61
Recursive Comprehension....Pages 61-103
Arithmetical Comprehension....Pages 105-125
Weak K?nig’s Lemma....Pages 127-165
Arithmetical Transfinite Recursion....Pages 167-215
 п 1 1 Comprehension....Pages 217-241
Front Matter....Pages 243-243
 ?-Models....Pages 245-311
 ?-Models....Pages 313-362
Non-?-Models....Pages 363-392
Front Matter....Pages 393-393
Additional Results....Pages 395-412
Back Matter....Pages 413-445




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی