ترجمه فارسی توضیحات (ترجمه ماشینی)
سخنرانی در منطق و نظریه مجموعه ها. جلد 2: نظریه مجموعه ها
جلد دوم، در نظریه مجموعه های رسمی (ZFC)، شامل یک “فصل 0” مستقل در تکنیک های اثبات است، به طوری که بر اساس منطق رسمی، به سبک بورباکی است. تأکید بر تکنیکهای اساسی، پایهای محکم در نظریه مجموعهها و زمینه کاملی برای ارائه موضوعات پیشرفته (مانند مطلق بودن، نتایج سازگاری نسبی، دو نمایش از جهان سازنده گودل، روشهای متعدد مشاهده بازگشت و اجبار کوهن) فراهم میکند.
Volume II, on formal (ZFC) set theory, incorporates a self-contained “chapter 0” on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel’s construstive universe, numerous ways of viewing recursion and Cohen forcing).
نقد و بررسیها
هنوز بررسیای ثبت نشده است.