دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: Softcover reprint of the original 1st ed. 1985
نویسندگان: Craig Smorynski
سری: Universitext
ISBN (شابک) : 0387962093, 9780387962092
ناشر: Springer
سال نشر: 1985
تعداد صفحات: 345
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Self-Reference and Modal Logic (Universitext) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خود مرجع و منطق مدال (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