ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Constructivism in Mathematics: An Introduction

دانلود کتاب سازه گرایی در ریاضیات: مقدمه ای

Constructivism in Mathematics: An Introduction

مشخصات کتاب

Constructivism in Mathematics: An Introduction

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: Studies in Logic and the Foundations of Mathematics 121 
ISBN (شابک) : 0444702660, 9780444702661 
ناشر: North-Holland 
سال نشر: 1988 
تعداد صفحات: 361 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 30 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Constructivism in Mathematics: An Introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

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


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

(Note: Volume 2 is NOT contained in this eBook.) These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.



فهرست مطالب

Preface......Page 4
Preliminaries......Page 7
Contents......Page 12
1. Constructivism......Page 13
2. Constructivity......Page 17
3. Weak counterexamples......Page 20
4. A brief history of counstructivism......Page 28
5. Notes......Page 42
Exercises......Page 44
2. Logic......Page 46
1. Natural deduction......Page 47
2. Logic with existence predicate......Page 61
3. Relationships between classical and intuitionistic logic......Page 67
4. Hilbert-type systems......Page 79
5. Kripke semantics......Page 86
6. Completeness for Kripke semantics......Page 98
7. Definitional extensions......Page 104
8. Notes......Page 111
Exercises......Page 114
3. Arithmetic......Page 123
1. Informal arithmetic and primitive recursive functions......Page 124
2. Primitive recursive arithmetic PRA......Page 130
3. Intuitionistic first-order arithmetic HA......Page 136
4. Algorithms......Page 141
5. Some metamathematics of HA......Page 146
6. Elementary analysis and elementary inductive definitions......Page 154
7. Formalization of elementary recursion theory......Page 162
8. Intuitionistic second-order logic and arithmetic......Page 170
9. Higher-order logic and arithmetic......Page 178
10. Notes......Page 184
Exercises......Page 187
4. Non-Classical Axioms......Page 194
1. Preliminaries......Page 195
2. Choice axioms......Page 198
3. Church\'s thesis......Page 201
4. Realizability......Page 204
5. Markov\'s principle......Page 212
6. Choice sequences and continuity axioms......Page 215
7. The fan theorem......Page 226
8. Bar induction and generalized inductive definitions......Page 232
9. Uniformity principles and Kripke\'s schema......Page 243
10. Notes......Page 247
Exercises......Page 251
1. Introduction......Page 259
2. Cauchy reals and their ordering......Page 261
3. Arithmetic on R......Page 268
4. Completeness properties and relativization......Page 274
5. Dedekind reals......Page 278
6. Arithmetic of Dedekind reals and extended reals......Page 285
7. Two metamathematical digressions......Page 288
8. Notes......Page 292
Exercises......Page 294
1. Intermediate-value and supremum theorems......Page 298
2. Differentiation and integration......Page 302
3. Consequences of WC-N and FAN......Page 310
4. Analysis in CRM: consequences of CT_0, ECT_0, MP......Page 314
5. Notes......Page 327
Exercises......Page 329
Bibliography......Page 333
Index......Page 349
List of Symbols......Page 358




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