دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
دانلود کتاب محدودیت های ریاضیات: سفری در مناطق اصلی منطق ریاضی
مشخصات کتاب
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
ویرایش: [2 ed.]
نویسندگان: Prof. Dr. Dirk W. Hoffmann (auth.)
سری:
ISBN (شابک) : 9783642347191, 9783642347207
ناشر: Springer Spektrum
سال نشر: 2013
تعداد صفحات: 437
[440]
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 Mb
قیمت کتاب (تومان) : 38,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 zweite Auflage wurde das Kapitel 'Beweistheorie' thematisch um das Diagonalisierungslemma, den Satz von Tarski, das Berry-Paradoxon sowie den Satz von Löb erweitert.
فهرست مطالب
Front Matter....Pages I-IX
Historische Notizen....Pages 1-69
Formale Systeme....Pages 71-132
Fundamente der Mathematik....Pages 133-197
Beweistheorie....Pages 199-268
Berechenbarkeitstheorie....Pages 269-338
Algorithmische Informationstheorie....Pages 339-363
Modelltheorie....Pages 365-415
Back Matter....Pages 417-437
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Indigenous peoples in isolation in the Peruvian Amazon: their struggle for survival and freedom
دانلود کتاب Dinosaurs, Diamonds and Democracy: a short, short history of South Africa
