مشخصات کتاب

Mathematische Grundlagenforschung Intuitionismus Beweistheorie

ویرایش: 1 
نویسندگان: A. Heyting (auth.)  
سری:  
ISBN (شابک) : 9783540062981, 9783642656170 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1974 
تعداد صفحات: 77 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب تئوری اثبات شهود گرایی تحقیقات ریاضی پایه: ریاضیات، عمومی

در صورت تبدیل فایل کتاب Mathematische Grundlagenforschung Intuitionismus Beweistheorie به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تئوری اثبات شهود گرایی تحقیقات ریاضی پایه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تئوری اثبات شهود گرایی تحقیقات ریاضی پایه

در دهه های اخیر! علاقه به مبانی ریاضیات همیشه افزایش یافته است. در گذشته، معدود محققینی که به طور جدی با این مسئله سروکار داشتند، کمتر مورد توجه قرار می گرفتند، اما امروزه مشارکت از هر دو جنبه ریاضی و فلسفی تقریباً جهانی است. نظریه مجموعه کانتور، که به محض پیدایش بحث های پر جنب و جوشی را در مورد توجیه آن برانگیخت، مطمئناً انگیزه این تغییر را داد، و تناقضاتی که هنگام اجرای بی رحمانه ایده های اساسی آن به وجود آمد توجه عمومی را به خود جلب کرد. با این حال، ادعایی که تاکنون مطرح شده است مبنی بر اینکه هدف از تحقیقات پایه حذف تناقضات است، نادرست است. در جهت فلسفی و ریاضی، این امر بسیار فراتر از چنین هدفی است. از نظر فلسفی بررسی می شود - ماهیت دانش ریاضی، پیش نیازها و اهداف نهایی آن، ارتباط آن با سایر حوزه های دانش، به ویژه فیزیک و مرزبندی آن از نظر محتوا و روش، این بحث های فلسفی با بررسی های ریاضی گسترده ای در ساختار ریاضیات از مفروضات فلسفی داده شده و در مورد ساختار براهین ریاضی. حوزه‌های فرعی این تحقیقات در حال تبدیل شدن به رشته‌های مستقل هستند که از نظر روش‌ها و مشکلاتشان از تحقیقات پایه واقعی مستقل هستند. نمونه ای از چنین شاخه جدیدی از ریاضیات که منشأ خود را مدیون تحقیقات پایه است، ریاضیات است. منطق. به تدریج، سه جهت اصلی شکل گرفته است که هر کدام با دیدگاه خاص خود از ماهیت ریاضیات مطابقت دارد و هر کدام به انواع مختلفی از تحقیقات ریاضی منجر شده است.

توضیحاتی درمورد کتاب به خارجی

In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf sich. Doch ist die bisweUen noch geauBerte Behauptung, der Zweck -der Grundlagenforschung liege in der Beseitigung der Widersprtiche, verfehlt. In philosophischer und in mathematischer Richtung geht diese weit tiber eine solche Zielsetzung hinaus. Philosophisch untersucht man -das Wesen der mathematischen Erkenntnis, ihre Voraussetzungen und Endziele, ihr Verhaltnis zu anderen Wissensgebieten, insbesondere der Physik, und ihre Abgrenzung gegen diese dem lnhalt und der Methode nacho An diese philosophischen Erorterungen schlieBen sich umfangreiche mathematische Untersuchungen tiber den Aufbau der Mathematik aus den philosophisch gegebenen Voraussetzungen und tiber die Struktur der mathematischen Beweisftihrungen. Einzelne Teilgebiete dieser Unter­ suchungen entwickeln sich schon zu selbstandigen Disziplinen, die sich in ihren Methoden und Problemstellungen von der eigentlichen Grund­ lagenforschung unabhangig machen; ein Beispiel eines solchen neuen Zweiges der Mathematik, der sein Entstehen der Grundlagenforschung verdankt, ist die mathematischp. Logik. Allmahlich haben sich drei J. auptrichtungen gebildet, die je einer eigenen Auffassung tiber das Wesen der Mathematik entsprechen undo je zu verschieden gearteten mathematischen Untersuchungen geftihrt haben.

فهرست مطالب

Front Matter....Pages I-IV
Einleitung....Pages 1-2
Einleitung. Der Einfluß von P OINCARÉ ....Pages 3-4
Die französischen Halbintuitionisten....Pages 4-9
Die erste Theorie von W EYL ....Pages 9-9
Der Standpunkt von K aufmann ....Pages 9-11
Der B rouwer sche Intuitipnismus....Pages 11-29
Die axiomatische Methode....Pages 29-35
H ILBERT s Beweistheorie....Pages 35-53
Intuitionismus und Beweistheorie....Pages 53-57
Verschiedene Richtungen....Pages 57-58
M ANNOURY ....Pages 58-59
Der „Empirismus“ von P ASCH ....Pages 59-62
Einleitung....Pages 62-64
Formale Mathematik und Erfahrung....Pages 64-65
Intuitionistische Mathematik und Erfahrung....Pages 65-67
Vergleichung der beschriebenen Standpunkte....Pages 67-68
Nachwort....Pages 68-68
Back Matter....Pages 69-73

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Ibn Taymiyyah & Wittgenstein on Language

دانلود کتاب Think Like An Architect: How to develop critical, creative and collaborative problem-solving skills

دانلود کتاب Australia 55

دانلود کتاب Armed Conflict and Displacement: The Protection of Refugees and Displaced Persons under International Humanitarian Law

دانلود کتاب Ireland's Immortals: A History of the Gods of Irish Myth