دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
دانلود کتاب نظریه مدل: مقدمه ای بر منطق ریاضی و نظریه اساسی
مشخصات کتاب
Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
ویرایش: [1 ed.] نویسندگان: Dr. Georg Kreisel, Dr. Jean-Louis Krivine (auth.) سری: Hochschultext ISBN (شابک) : 9783540056546, 9783642653025 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1972 تعداد صفحات: 278 [292] زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه مدل: مقدمه ای بر منطق ریاضی و نظریه اساسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه مدل: مقدمه ای بر منطق ریاضی و نظریه اساسی
در اینجا ما به آن بخش از تحقیقات پایه نگاه می کنیم که شامل ریاضیات "شهودی" یا "محتوا" است، یعنی. اچ. به طور سیستماتیک آنچه را که یک ریاضیدان معمولی با ریاضیات می فهمد، توصیف و تحلیل می کند. در بخش توصیفی، ریاضیات غیررسمی به زبانی رسمی (مثلاً نظریه مجموعه ها) فرموله می شود. چنین زبانی در مقایسه با زبان ریاضیات غیررسمی، واژگان بسیار محدود و دستور زبانی کاملاً دقیق دارد. این البته دقت را افزایش می دهد و دید چیزهای بی اهمیت را پاک می کند. بر خلاف دیدگاه گسترده ای که در زیر مورد بحث قرار می گیرد، فرمول بندی مجدد (که مانند هر توصیفی از یک شی به طور شهودی، اساساً به برداشت ما از ماهیت آن بستگی دارد) تنها ابزاری برای تحقیقات اساسی است: این همان چیزی است که به درستی معنای آن را منعکس می کند. جملات در ریاضیات غیررسمی و نه ساختار نحوی آنها. زیرا زبان رسمی و غیر رسمی (خوشبختانه) از نظر شکل بیرونی وجه اشتراک چندانی با هم ندارند. همچنین باید توجه داشت که دقت به‌دست‌آمده از طریق فرمول‌بندی مجدد، در حالی که توسعه فنی را ارتقا می‌دهد، به سختی قادر به حذف مشکلات ناشی از نارسایی در مفاهیم اولیه است (دقیقاً برعکس است: از طریق تأمل ما به رسمیت‌سازی خوب از طریق اصطلاحات غیررسمی هدایت می‌شویم. ). در «بحران‌های» معروف (به‌عنوان مثال، بخش A، بخش 1 زیر را ببینید)، تضادها از اصول کاملاً صریح (بدیهیات، قواعد) ناشی می‌شوند، به طوری که این دشواری‌ها ربطی به دقت صوری کافی نداشتند. مشکل بیشتر این بود که بفهمیم کدام اصول در بین اصول مختلف و رسمی دقیق معتبر است.
توضیحاتی درمورد کتاب به خارجی
Wir betrachten hier jenen Teil der Grundlagenforschung, der die "intui tive" oder "inhaltliche" Mathematik, d. h. das, was ein gew6hnlicher Mathematiker unter Mathematik versteht, systematisch beschreibt und analysiert. Im deskriptiven Teil wird die informale Mathematik in einer formal en Sprache (z. B. der der Mengenlehre) neu formuliert. Eine solche Sprache hat, verglichen mit der Sprache der informalen Mathematik, ein sehr eingeschr~nktes Vokabular und eine vollkommen exakte Grammatik; dadurch wird naturlich die Pr~zision erh6ht und der Blick von Unwesentlichem befreit. Im Gegensatz zu einer weitverbreiteten Ansicht, die weiter unten diskutiert wird, ist die Neuformulierung (die wie jede Beschreibung eines intuitiv erfa~ten Gegenstandes wesentlich von unserer Auffassung seiner Natur abh~ngt) nur ein Hilfsmittel der Grundlagenforschung: es handelt sich n~mlich darum, die Bedeutung von S~tzen der informalen Mathematik richtig wiederzugeben und nicht deren syntaktische Struktur; denn der ~u~eren Form nach haben die formale und die informale Sprache (glucklicherweisel) wenig gemeinsam. Auch sollte man bemerken, da~ die durch die Umformulierung erzielte Pr~zision zwar die technische Entwick lung f6rdert, aber kaum geeignet ist, Schwierigkeiten zu beseitigen, die aus Unzul~nglichkeiten der ursprunglichen Begriffe entstehen (gerade das Gegenteil ist der Fall: durch Nachdenken uber informale Begriffe werden wir zu einer guten Formalisierung gefuhrt). In den wohlbekannten "Krisen" (siehe z. B. Teil A, Abschnitt 1 weiter unten) ruhrten die Widerspruche von durchaus expliziten Prinzipien (Axiomen, Regeln) her, so da~ diese Schwierigkeiten nichts mit ungenugender formaler Pr~zision zu tun hatten; das Problem lag vielmehr darin, unter verschiedenen, formal pr~zisen Prinzipien die gultigen herauszufinden.
فهرست مطالب
Front Matter....Pages I-XV
Vorbereitungen. Definitionsschemata....Pages 1-3
Aussagenkalkül....Pages 4-13
Prädikatenkalkül....Pages 14-33
Prädikatenkalkül mit Gleichheit....Pages 34-50
Quantorenelimination....Pages 51-81
Prädikatenkalkül mit mehreren Objektsorten....Pages 82-132
Maximale Modelle, Modelle unendlicher Formeln....Pages 133-152
Definierbarkeit....Pages 153-182
Back Matter....Pages 183-278
