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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Intensional mathematics

دانلود کتاب ریاضیات فشرده

مشخصات کتاب

Intensional mathematics

دسته بندی: منطق
ویرایش: NH 
نویسندگان: Stewart Shapiro  
سری: Studies in Logic and the Foundations of Mathematics 
ISBN (شابک) : 0444876324, 9781435686977 
ناشر: Elsevier Science Ltd 
سال نشر: 1985 
تعداد صفحات: 237 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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

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

در صورت تبدیل فایل کتاب Intensional mathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب ریاضیات فشرده

"افلاطون گرایی و شهودگرایی فلسفه های رقیب ریاضیات هستند، اولی معتقد است که موضوع ریاضیات شامل اشیاء انتزاعی است که وجود آنها مستقل از ریاضیدان است، دومی که موضوع شامل ساخت ذهنی است ... هر دو دیدگاه به طور ضمنی با هم مخالف هستند. به گزارش های مادی ریاضیات که موضوع ریاضیات را (به طور مستقیم) از اشیاء مادی تشکیل می دهد...» از مقدمه از جمله اهداف این کتاب می توان به موارد زیر اشاره کرد: - بحث در مورد برخی مسائل مهم فلسفی با استفاده از دقت از ریاضیات - توسعه سیستم های رسمی که شامل اجزای کلاسیک و سازنده است. این امکان مطالعه سازنده بودن را در زمینه‌های کلاسیک دیگر فراهم می‌کند و نشان‌دهنده رسمی‌سازی جنبه‌های هدفمند مهم تمرین ریاضی است. - رسمی سازی مستقیم مفاهیم عمیق (مانند محاسبه پذیری) در یک زمینه ترکیبی سازنده/کلاسیک.

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

``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.