دانلود کتاب مرزهای ریاضیات: سفری در میان حوزه های اصلی منطق ریاضی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
ویرایش : 3rd
عنوان ترجمه شده به فارسی : مرزهای ریاضیات: سفری در میان حوزه های اصلی منطق ریاضی
سری :
نویسندگان : Dirk W. Hoffmann
ناشر : Springer Spektrum
سال نشر : 2018
تعداد صفحات : 446
ISBN (شابک) : 3662566168 , 9783662566169
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 20 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
آیا ریاضیات عاری از تناقض است؟ آیا حقایقی فراتر از آنچه قابل اثبات است وجود دارد؟ آیا می توان دانش ریاضی خود را در یک عدد واحد رمزگذاری کرد؟
منطق ریاضی مدرن قرن بیستم پاسخ های شگفت انگیزی را برای چنین سؤالاتی ارائه می دهد.
این کتاب شما را به سفری در حوزههای اصلی منطق ریاضی به سمت محدودیتهای ریاضیات میبرد. از جمله موضوعات زیر پوشش داده می شود: تاریخچه منطق ریاضی، سیستم های رسمی، نظریه بدیهی اعداد و نظریه مجموعه ها، نظریه اثبات، قضایای ناقص بودن گودل، نظریه محاسبات، نظریه اطلاعات الگوریتمی، نظریه مدل.
کتاب. شامل تصاویر دو رنگ متعدد و بیش از 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.