ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Foundations without Foundationalism: A Case for Second-Order Logic

دانلود کتاب مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم

Foundations without Foundationalism: A Case for Second-Order Logic

مشخصات کتاب

Foundations without Foundationalism: A Case for Second-Order Logic

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Oxford Logic Guides 17 
ISBN (شابک) : 0198533918, 9780191524011 
ناشر: Clarendon Press 
سال نشر: 1991 
تعداد صفحات: 298 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Foundations without Foundationalism: A Case for Second-Order Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم

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


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

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی