دانلود کتاب Intentional Mathematics
49,000 تومان
ریاضیات عمدی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Elsevier Science Ltd |
| تعداد صفحه | 237 |
| حجم فایل | 16 مگابایت |
| کد کتاب | 0444876324,9780444876324,9781435686977 |
| نویسنده | Stewart Shapiro |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1985 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ریاضیات عمدی
“افلاطون گرایی و شهودگرایی فلسفه های رقیب ریاضیات هستند، اولی معتقد است که موضوع ریاضیات شامل اشیاء انتزاعی است که وجود آنها مستقل از ریاضیدان است، دومی که موضوع شامل ساخت ذهنی است … هر دو دیدگاه به طور ضمنی با هم مخالف هستند. به گزارش های مادی ریاضیات که موضوع ریاضیات را (به طور مستقیم) از اشیاء مادی تشکیل می دهد…» از مقدمه از جمله اهداف این کتاب می توان به موارد زیر اشاره کرد: – بحث در مورد برخی مسائل مهم فلسفی با استفاده از دقت از ریاضیات – توسعه سیستم های رسمی که شامل اجزای کلاسیک و سازنده است. این امکان مطالعه سازنده بودن را در زمینههای کلاسیک دیگر فراهم میکند و نشاندهنده رسمیسازی جنبههای هدفمند مهم تمرین ریاضی است. – رسمی سازی مستقیم مفاهیم عمیق (مانند محاسبه پذیری) در یک زمینه ترکیبی سازنده/کلاسیک.
“Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction…both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects…” FROM THE INTRODUCTION Among the aims of this book are: – The discussion of some important philosophical issues using the precision of mathematics. – The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. – The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.