Metamathematik der Elementarmathematik - Brossura

Engeler, Erwin

Brossura

ISBN 10: 354012151X ISBN 13: 9783540121510

Casa editrice: Springer Berlin Heidelberg, 1983

Riassunto

Dieses Buch ist kein Lehrbuch. Doch ist es aus Vorlesungen gewachsen, die ich seit ein paar Jahren an der ETH in ZUrich gehalten habe. Es wendet sich an Studenten der Mathematik mittlerer und oberer Semester, aber weniger mit dem Ziel, diesen mathematische Logik oder Axiomatik beizubringen, als vielmehr, urn in ihnen die kritischen Fahigkeiten gegenUber der Mathematik zu wecken und zu scharfen. Denn nur allzu leicht wird der Student durch un sere Erziehung eingelullt. Die jahre­ lange Beschaftigung mit der Technik der Schulalgebra und -geometrie und mit dem irnrnensen Gebaude der Analysis lasst bei fast allen das GefUhl aufkornrnen, sie wUssten nun, was die reel len Zahlen seien, was eine Funktion, was der euklidische Raum, was eine Rechenvorschrift sei. Es liegt mir fern, die NUtzlichkeit, ja Notwendigkeit, eines weit­ gehenden Konsensus in der Mathematik zu verneinen. Wogegen ich aber ankarnpfe, ist die Phantasielosigkeit, die in der Tendenz liegt, Grundbegriffe und Grundhaltungen unbesehen zu Ubernehrnen. Was ich in diesem BUchlein darstellen will, ist die systematische Kritik an den Grundlagen der Mathematik, welche die mathematische Logik des 20. Jahrhunderts technisch moglich gemacht hat. Der Terminus "Meta­ mathematik" unseres Titels deutet also auf die Methode, "Elementar­ mathematik" weist auf den Gegenstand: Analysis, Geometrie und Algo­ rithrnik. In nuce: Wie kornrnt man zu den Axiomen der Elementarmathematik, und was ist von ihnen zu halten? Die Fertigstellung dieses BUchleins verdanke ich der kompetenten Arbeit von Brigitte Knecht (Text) und Dr. Ernst Graf (Zeichnungen).

Su questo libro

Contenuti

I: Das Kontinuum.- §1 Was sind die reellen Zahlen?.- §2 Sprache als ein Teil der Mathematik.- §3 Elementare Theorie der reellen Zahlen.- §4 Non-standard Analysis.- §5 Auswahlaxiom und Kontinuumhypothese.- II: Geometrie.- §1 Raum und Mathematik.- §2 Axiomatisierung durch Koordinatisierung.- §3 Wissenschaftstheoretische Fragen und Methoden der Elementargeometrie.- §4 Geometrische Konstruktionen.- III: Algorithmik.- §1 Was ist eine Rechenvorschrift.- §2 Die Existenz kombinatorischer Algebren: kombinatorische Logik.- §3 Konkrete kombinatorische Algebren.- §4 Lambda-Kalkül.- §5 Berechenbarkeit und Kombinatoren.

Dettagli dell'edizione

• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 1983
• Lingua: Tedesco
• ISBN 10: 354012151X
• ISBN 13: 9783540121510
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 144
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania