Einführung in die mathematische logik und in die methodologie der mathematik

Wien,: J. Springer (1937)
  Copy   BIBTEX

Abstract

Der Laie spricht manchmal die Ansicht aus, die Mathematik ware heutzutage schon eine tote Wissenschaft: nachdem sie einen ungemein hohen Grad der Entwicklung erreicht hat, sei sie in ihrer steinernen Vollkommenheit erstarrt. Dies ist ein vollig irriges Bild der Situation: nur wenige Wissenschaftsgebiete befinden sich heute in der Phase einer solch intensiven Entwicklung wie die Mathematik. Diese Entwicklung ist dabei auBerordentlich vie1seitig: die Mathematik erweitert ihre Domane nach allen moglichen Richtungen, sie wachst in die Rohe, in die Weite und in die Tiefe. Sie wachst in die Rohe, da auf dem Boden ihrer alten Theorien, denen eine jahrhundert-, ja sogar jahrtausend- lange Entwicklung zugrunde liegt, immer wieder neue Prob1eme auftauchen, immer scharfere und vollkommenere Resultate er- zielt werden; in die Weite, da ihre Methoden andere Wissen- schaftszweige durchdringen, ihr Untersuchungsbereich immer umfangreichere Gebiete von Erscheinungen umfaBt und immer neue Theorien in den groBen Kreis mathematischer Disziplinen einbezogen werden; und schlieBlich in die Tiefe, da ihre Grund- lagen immer mehr gefestigt, die bei ihrem Aufbau angewandten Methoden immer vollkommener werden und ihre Prinzipien an Dauerhaftigkeit gewinnen. In dem vorliegenden Buch wiinschte ich dem Leser, der fiir die gegenwartige Mathematik Interesse aufweist, aber ihr fern- steht, mindestens einen ganz allgemeinen Begriff von dieser dritten Entwicklungslinie der Mathematik, d. i. von ihrer Ent- wicklung in die Tiefe, zu geben.

Links

PhilArchive



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

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

Einführung in die mathematische Logik.Alfred Tarski - 1966 - Göttingen,: Vandenhoeck & Ruprecht.
ε 0 ‐Arithmetic.Judith Hart - 1969 - Mathematical Logic Quarterly 15 (13-15):237-237.
Einführung einer halbordnung im aussagenkalkül.Bernd Schulze - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):25-35.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7-10):124-135.
Orderings of Types of Countable Arithmetic.K. Potthoff - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (7):97-108.
A Formalisation of the Integers in a Multi-Successor Arithmetic.P. H. Stanford - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):119-121.
Word Arithmetic: Theory of Primitive Words.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):251-255.
On Automorphisms of Resplendent Models of Arithmetic.Zofia Seremet - 1984 - Mathematical Logic Quarterly 30 (19-24):349-352.
A Model of the Arithmetic of Alephs in the Equation Calculus.R. J. Plymen - 1961 - Mathematical Logic Quarterly 7 (17-18):257-258.
A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.

Analytics

Added to PP
2017-02-22

Downloads
10 (#1,160,791)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
The problem of logical constants.Mario Gómez-Torrente - 2002 - Bulletin of Symbolic Logic 8 (1):1-37.
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references