دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Über die Möglichkeit von Freiheit im Kalkül : Ein Vergleich von Kants Freiheitsbeweis und Gödels Unvollständigkeitssätzen
دانلود کتاب در مورد احتمال آزادی در محاسبه: مقایسه شواهد آزادی کانت و نرخ ناقص بودن گودل
مشخصات کتاب
Über die Möglichkeit von Freiheit im Kalkül : Ein Vergleich von Kants Freiheitsbeweis und Gödels Unvollständigkeitssätzen
ویرایش:
نویسندگان: Sebastian Bücker
سری: BestMasters
ISBN (شابک) : 3658463856, 9783658463854
ناشر: Springer VS
سال نشر: 2024
تعداد صفحات: 90
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 81,000
در صورت تبدیل فایل کتاب Über die Möglichkeit von Freiheit im Kalkül : Ein Vergleich von Kants Freiheitsbeweis und Gödels Unvollständigkeitssätzen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب در مورد احتمال آزادی در محاسبه: مقایسه شواهد آزادی کانت و نرخ ناقص بودن گودل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Danksagung Inhaltsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis 1 Einführung 2 Gödels Unvollständigkeitssätze 2.1 Kleine Geschichte des Begriffs formaler Beweis 2.1.1 Beispiel 2.1.2 Modellbegriff und der Vollständigkeitssatz 2.2 Gödels Unvollständigkeitssätze 2.2.1 Kodierung der Arithmetik 2.2.2 Beweisskizze der Gödelsätze 3 Praktische Urteile und formallogisches Schließen 3.1 Maximen und Axiome 3.2 Hypothetische Imperative und erststufige Schlussregeln 3.3 Anwendung der bisherigen Urteilsformen 3.4 Kategorischer Imperativ und Konsistenz 4 Die Beweise und ihre Zirkel 4.1 Der andere Standpunkt 4.2 Der Zirkel im Beweis 5 Schluss Literaturverzeichnis
