نرم افزار: سیستم ها: محاسبات علمی

درآمدی بر استقلال برای تحلیلگران

An Introduction to Independence for Analysts

دانلود کتاب An Introduction to Independence for Analysts (به فارسی: درآمدی بر استقلال برای تحلیلگران) نوشته شده توسط «H. G. Dales – W. H. Woodin»

اطلاعات کتاب درآمدی بر استقلال برای تحلیلگران

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: H. G. Dales – W. H. Woodin

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1987

تعداد صفحه: 255

حجم کتاب: 2 مگابایت

کد کتاب: 0521339960 , 9780521339964

توضیحات کتاب درآمدی بر استقلال برای تحلیلگران

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

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. This book explains clearly, to non-logicians, the technique of forcing and its connection with independence, and gives a full proof that a naturally arising and deep question of analysis is independent of ZFC. It provides the first accessible account of this result, and it includes a discussion, of Martin’s Axiom and of the independence of CH.

دانلود کتاب «درآمدی بر استقلال برای تحلیلگران»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان