دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 2 نویسندگان: D. Hilbert, Prof. Dr. Paul Bernays (auth.) سری: Die Grundlehren der mathematischen Wissenschaften 50 ISBN (شابک) : 9783642868979, 9783642868962 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1970 تعداد صفحات: 578 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 27 مگابایت
کلمات کلیدی مربوط به کتاب مبانی ریاضیات II: ریاضیات عمومی
در صورت تبدیل فایل کتاب Grundlagen der Mathematik II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضیات II نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد ارائه نظریه اثبات را که چند سال پیش همراه با P. BERNAYS آغاز کردم، تکمیل می کند. به درخواست من، P. BERNAYS دوباره ترکیب متن را به عهده گرفت. من از او به خاطر مراقبت و وفاداری که با آن افکار من را بازتولید کرد، تشکر می کنم، که در توسعه آن در طول سال ها همکاری از نزدیک مشارکت داشت. بدون کمک او، تکمیل این کتاب غیرممکن بود. مایلم از آقایان W. ACKERMANN، G. GENTZEN، A. SCHMIDT، H. SCHOLZ برای کمک مهربانانه آنها در اصلاحات تشکر کنم. Goettingen، مارس 1939 HILBERT مقدمه این کتاب برای ارائه یک جهت گیری دقیق در مورد مواد فعلی نظریه اثبات HILBERT در نظر گرفته شده است. حتی اگر آنچه تاکنون به دست آمده در مقایسه با اهداف نظریه بسیار متواضع باشد، باز هم مطالب فراوانی در قالب نتایج مختصر، نقطه نظرات و ایده های اثباتی وجود دارد که به نظر می رسد ارزش توجه را دارد. هدف کتاب دو موضوع اصلی را برای محتوای این جلد دوم تعیین کرده است. - اول از همه، این مسئله این بود که رویکردهای اثباتی-نظری اصلی HILBERT به نماد الکترونیکی و اجرای آنها به یک ارائه دقیق متصل شود.
Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein gehenden Darstellung zu bringen.
Front Matter....Pages I-XIV
Die Methode der Elimination der gebundenen Variablen mittels des Hilbertschen ε -Symbols....Pages 1-48
Beweistheoretische Untersuchung der Zahlentheorie mittels der an das ε -Symbol sich knüpfenden Methoden....Pages 48-130
Anwendung des ε -Symbols auf die Untersuchung des logischen Formalismus....Pages 130-214
Die Methode der Arithmetisierung der Metamathematik in Anwendung auf den Prädikatenkalkul....Pages 215-263
Der Anlaß zur Erweiterung des methodischen Rahmens der Beweistheorie....Pages 263-387
Zur Orientierung über den Prädikatenkalkul und anschließende Formalismen....Pages 388-405
Eine Präzisierung des Begriffs der berechenbaren Funktion und der Satz von Church über das Entscheidungsproblem....Pages 406-437
Über gewisse Bereiche des Aussagenkalkuls und ihre deduktive Abgrenzung mit Hilfe von Schematen....Pages 438-466
Formalismen zur deduktiven Entwicklung der Analysis....Pages 467-512
Widerspruchsfreiheitsbeweise für den zahlentheoretischen Formalismus....Pages 513-555
Back Matter....Pages 556-566