دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
دانلود کتاب محدودیت های ریاضی: سفر به حوزه های اصلی منطق ریاضی
مشخصات کتاب
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
ویرایش: 3rd
نویسندگان: Dirk W. Hoffmann
سری:
ISBN (شابک) : 3662566168, 9783662566169
ناشر: Springer Spektrum
سال نشر: 2018
تعداد صفحات: 446
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 20 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب محدودیت های ریاضی: سفر به حوزه های اصلی منطق ریاضی: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محدودیت های ریاضی: سفر به حوزه های اصلی منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محدودیت های ریاضی: سفر به حوزه های اصلی منطق ریاضی
آیا ریاضیات عاری از تناقض است؟ آیا حقایقی فراتر از قابل اثبات وجود دارد؟ آیا می توان دانش ریاضی خود را در یک عدد واحد رمزگذاری کرد؟
منطق ریاضی مدرن قرن بیستم پاسخ های شگفت انگیزی به چنین سؤالاتی می دهد.
این کتاب شما را به سفری در حوزه‌های اصلی منطق ریاضی، به محدودیت‌های ریاضیات می‌برد. از جمله موضوعات زیر پوشش داده می شود: تاریخچه منطق ریاضی، سیستم های رسمی، نظریه اعداد بدیهی و نظریه مجموعه ها، نظریه اثبات، قضایای ناقص بودن گودل، نظریه محاسباتی، نظریه اطلاعات الگوریتمی، نظریه مدل.
کتاب شامل تصاویر دو رنگ متعدد و بیش از 70 کار (با راه حل در وب سایت کتاب).
برای ویرایش سوم، شرحی از تکنیک اجباری که توسط پل کوهن توسعه داده شده است به فصل "تئوری مدل" اضافه شده است.
توضیحاتی درمورد کتاب به خارجی
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren?
Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen.
Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.
Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch).
Für die dritte Auflage wurde das Kapitel ‚Modelltheorie‘ um eine Beschreibung der von Paul Cohen entwickelten Forcing-Technik ergänzt.
