ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Self-Reference and Modal Logic (Universitext)

دانلود کتاب خود مرجع و منطق مدال (Universitext)

Self-Reference and Modal Logic (Universitext)

مشخصات کتاب

Self-Reference and Modal Logic (Universitext)

ویرایش: Softcover reprint of the original 1st ed. 1985 
نویسندگان:   
سری: Universitext 
ISBN (شابک) : 0387962093, 9780387962092 
ناشر: Springer 
سال نشر: 1985 
تعداد صفحات: 345 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Self-Reference and Modal Logic (Universitext) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب خود مرجع و منطق مدال (Universitext)

یکشنبه 7 سپتامبر 1930 است. مکان کونیگزبرگ است و مناسبت آن یک کنفرانس کوچک در زمینه مبانی ریاضیات است. آرند هیتینگ، برجسته ترین شاگرد L. E. J. Brouwer، در مورد شهودگرایی صحبت کرده است. رودولف کارنپ از حلقه وین در مورد منطق گرایی توضیح داده است. یوهان (جانوس سابق و چند سال دیگر جانی) فون نویمان نظریه اثبات هیلبرت را توضیح داده است - به اصطلاح فرمالیسم. و هانس هان به تازگی دیدگاه تجربی خود را در مورد ریاضیات مطرح کرده است. محل برای بحث کلی باز است که هیتینگ رضایت خود را از این جلسه اعلام می کند. از نظر او، رابطه فرمالیسم و ​​شهودگرایی روشن شده است: نیازی به جنگ بین شهودگرا و فرمالیست نیست. هنگامی که فرمالیست برنامه هیلبرت را با موفقیت به پایان رساند و نشان داد که ریاضیات «ایده‌آل‌شده» مورد اعتراض بروور، هیچ گزاره جدید «معنی‌داری» را ثابت نمی‌کند، حتی شهودگرایان نیز با علاقه بی‌نهایت را در آغوش خواهند گرفت. به این مکاشفه سرخوشانه، یک مرد جوان خجالتی هشدار می‌دهد: «طبق تصور فرمالیستی، فرد به گزاره‌های معنی‌دار ریاضیات، گزاره‌های متوالی (شبه-') می‌پیوندد که به خودی خود هیچ معنایی ندارند، بلکه فقط در خدمت ساختن سیستم به خوبی هستند. همانطور که در هندسه با وارد کردن نقاط در بی نهایت به یک سیستم گرد می رسد.


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

It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations of mathematics. Arend Heyting, the foremost disciple of L. E. J. Brouwer, has spoken on intuitionism; Rudolf Carnap of the Vienna Circle has expounded on logicism; Johann (formerly Janos and in a few years to be Johnny) von Neumann has explained Hilbert's proof theory-- the so-called formalism; and Hans Hahn has just propounded his own empiricist views of mathematics. The floor is open for general discussion, in the midst of which Heyting announces his satisfaction with the meeting. For him, the relationship between formalism and intuitionism has been clarified: There need be no war between the intuitionist and the formalist. Once the formalist has successfully completed Hilbert's programme and shown "finitely" that the "idealised" mathematics objected to by Brouwer proves no new "meaningful" statements, even the intuitionist will fondly embrace the infinite. To this euphoric revelation, a shy young man cautions~ "According to the formalist conception one adjoins to the meaningful statements of mathematics transfinite (pseudo-')statements which in themselves have no meaning but only serve to make the system a well-rounded one just as in geometry one achieves a well­ rounded system by the introduction of points at infinity.



فهرست مطالب

Front Matter....Pages i-xii
Introduction....Pages 1-62
Front Matter....Pages N1-N1
Provability as Modality....Pages 63-86
Modal Model Theory....Pages 87-132
Arithmetic Interpretations of PRL....Pages 133-165
Front Matter....Pages N3-N3
Bi-Modal Logics and Their Arithmetic Interpretations....Pages 167-216
Fixed Point Algebras....Pages 217-254
Front Matter....Pages N5-N5
Rosser Sentences....Pages 255-297
An Ubiquitous Fixed Point Calculation....Pages 298-329
Back Matter....Pages 330-333




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