Mathematische grundlagenforschung: intuitionismus, beweistheorie

Berlin,: J. Springer (1934)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Mathematische Grundlagenforschung.Arnold Schmidt - 1952 - Journal of Symbolic Logic 17 (3):198-199.
Leibniz und die Mathematische Grundlagenforschung.Heinrich Scholz - 1944 - Journal of Symbolic Logic 9 (4):98-99.
On Rational Betting Systems.Ernest W. Adams - 1962 - Archiv für Mathematische Logik Und Grundlagenforschung 6:7-29.
Blick Von der intuitionistischen warte.von A. Heyting - 1958 - Dialectica 12 (3‐4):332-345.
Mathematische Philosophie.Johann Jakob Wagner - 1969 - Wiesbaden,: M. Sändig.

Analytics

Added to PP
2015-02-03

Downloads
24 (#620,575)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references