کتاب الکترونیکی

ریاضیات هدفمند

Intensional mathematics

دانلود کتاب Intensional mathematics (به فارسی: ریاضیات هدفمند) نوشته شده توسط «Stewart Shapiro»


اطلاعات کتاب ریاضیات هدفمند

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Elsevier Science Ltd

نویسنده: Stewart Shapiro

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1985

تعداد صفحه: 237

حجم کتاب: 2 مگابایت

کد کتاب: 0444876324 , 9780444876324 , 9781435686977

نوبت چاپ: NH

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

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


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

دانلود کتاب «ریاضیات هدفمند»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.