ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Aspects of Incompleteness

دانلود کتاب جنبه های ناقص بودن

Aspects of Incompleteness

مشخصات کتاب

Aspects of Incompleteness

ویرایش:  
نویسندگان:   
سری: Lecture Notes in Logic, Band 10 
ISBN (شابک) : 1107167922, 9781107167926 
ناشر: Cambridge University Press 
سال نشر: 2017 
تعداد صفحات: 144 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت

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



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

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


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

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


توضیحاتی در مورد کتاب جنبه های ناقص بودن

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


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

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.



فهرست مطالب

Contents
CHAPTER 0. Introduction
CHAPTER 1. Preliminaries
	Exercises
	Notes
CHAPTER 2. Incompleteness
	§1. Incompleteness
	§2. Consistency statements
	§3. Independent formulas
	§4. The length of proofs
	Exercises
	Notes
CHAPTER 3. Numerations of r.e. sets
	§1. Numerations of r.e. sets
	§2. Types of independence
	Exercises
	Notes
CHAPTER 4. Axiomatizations
	§1. Finite and bounded axiomatizability; reflection principles
	§2. Irredundant axiomatizability
	Exercises
	Notes
CHAPTER 5. Partial conservativity
	Exercises
	Notes
CHAPTER 6. Interpretability
	§1. Interpretability
	§2. Faithful Interpretability
	Exercises
	Notes
CHAPTER 7. Degrees of interpretabilty
	§1. Algebraic properties
	§2. A classification of degrees
	§3. Σ 1 and Π 1 degrees
	Exercises
	Notes
CHAPTER 8. Generalizations
	§1. Incompleteness
	§2. Axiomatizations
	§3. Interpretability
	Notes
REFERENCES
INDEX
NOTATION




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

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