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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب In the Light of Logic

دانلود کتاب در پرتو منطق

مشخصات کتاب

In the Light of Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Solomon Feferman  
سری: Logic & Computation in Philosophy 
ISBN (شابک) : 0195080300, 9780195080308 
ناشر: Oxford University Press, USA 
سال نشر: 1998 
تعداد صفحات: 353 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب In the Light of Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب در پرتو منطق

در این مجموعه مقالاتی که در یک دوره بیست ساله نوشته شده است، سولومون ففرمن نتایج پیشرفته در منطق مدرن را توضیح می دهد و از آنها برای روشن کردن مسائل مهم در مبانی ریاضیات استفاده می کند. مشکل‌کننده‌ترین در میان این‌ها شیوه انقلابی است که در آن جورج کانتور ماهیت نامتناهی را توضیح داد، و در انجام این کار به تغییر چهره ریاضیات قرن بیستم کمک کرد. ففرمن توسعه مفاهیم کانتوریایی و مشکلات اساسی را که آنها به وجود آوردند را شرح می دهد. او استدلال می‌کند که آزادی ارائه‌شده توسط نظریه مجموعه‌های کانتورین به قیمت فلسفی سنگینی خریداری شد، یعنی پایبندی به نوعی از افلاطون‌گرایی ریاضی که پشتیبانی از آن دشوار است. با شروع یک سخنرانی منتشر نشده قبلی برای مخاطبان عام، Feferman به بررسی این موضوع می‌پردازد. فهرست معروف بیست و سه مسئله ریاضی مطرح شده توسط دیوید هیلبرت، با تمرکز بر سه مسئله که بیشترین ارتباط را با منطق دارند. فصل‌های دیگر به کار و اندیشه کورت گودل اختصاص دارد که نتایج خیره‌کننده‌اش در دهه 1930 در مورد ناقص بودن سیستم‌های رسمی و ثبات فرضیه پیوسته کانتورز برای همه کارهای بعدی در منطق از اهمیت بالایی برخوردار بوده است. اگرچه گودل به عنوان مدافع اصلی افلاطون گرایی نظری مجموعه ها شناخته شده است، اما با کمال تعجب حتی او در مقطعی آن را غیرقابل قبول می دانست. ففرمن در فصل های پایانی خود از ابزارهایی از بخش ویژه منطق به نام نظریه اثبات استفاده می کند تا توضیح دهد که چگونه بخش وسیعی از -اگر نگوییم همه- ریاضیات علمی کاربردی را می توان بر اساس اصول صرفاً حسابی توجیه کرد. حداقل تا این حد، به سؤال مطرح شده در دو مقاله از این جلد، «آیا کانتور لازم است؟» با پاسخ منفی قاطع پاسخ داده شده است. خواندن برای هر کسی که به این موضوعات علاقه مند است ضروری است.

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

In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support.Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Gödel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded it as unacceptable.In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no.This volume of important and influential work by one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects.