دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Proof, Logic, and Formalization
دانلود کتاب اثبات، منطق، و رسمی سازی
مشخصات کتاب
Proof, Logic, and Formalization
ویرایش: 1
نویسندگان: Michael Detlefsen
سری:
ISBN (شابک) : 0415023351, 9780415023351
ناشر: Routledge
سال نشر: 1992
تعداد صفحات: 118
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Proof, Logic, and Formalization به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات، منطق، و رسمی سازی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اثبات، منطق، و رسمی سازی
برهان ریاضی مهمترین شکل توجیه در ریاضیات است. با این حال، این تنها نوع توجیه برای گزاره های ریاضی نیست. وجود اشکال دیگر، برخی از نقاط قوت بسیار مهم، بر اهمیتی که برای اثبات در ریاضیات داده شده است، یک علامت سوال قرار می دهد. این مجموعه مقالات، توسط چهره های برجسته که در زمینه فلسفه ریاضیات کار می کنند، پاسخی به چالش درک ماهیت و نقش اثبات است.
توضیحاتی درمورد کتاب به خارجی
The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
