Metamathematische Methoden in Der Geometrie (German, Paperback, 1983 ed.)

Das vorliegende Buch besteht aus zwei Teilen. Teil I enthalt einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen Sinne (auch fur die absolute Geometrie) gleichwertig ist mit dem Hilbertschen Axiomensystem, aber formalisiert ist in einer Sprache, die fur die Betrachtungen in Teil II besonders geeignet ist. Mehrere solche Axio- mensysteme wurden schon vor langer Zeit von Tarski veroeffentlicht. Hier wird nun die Durchfuhrung eines Aufbaus der Geometrie auf Grund eines solchen Axiomensystems - unter Benutzung von Resultaten von H. N. Gupta - allgemein zuganglich gemacht. Die vorliegende Darstel- lung wurde vom zuerst genannten Autor allein geschrieben, aber sie beruht zum Teil auf unveroeffentlichten Resultaten von Alfred Tarski und Wanda Szmielew; daher gebuhrt ihnen ein Teil der Autorschaft. Mehr uber Entstehung und Inhalt von Teil I sowie uber die Geschichte der Tarskischen Axiomensysteme wird in der Einleitung (Abschnitt I.O) gesagt. Teil II enthalt metamathematische Untersuchungen und Ergebnisse uber verschiedene Geometrien, was vielfac auf eine Anwendung von Methoden und Satzen der mathematischen Logik auf Geometrien hinauslauft (vgl.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Hochschultext
Release date:	October 1983
First published:	October 1983
Authors:	W Schwabhauser • W. Szmielew • A. Tarski
Dimensions:	244 x 170 x 25mm (L x W x T)
Format:	Paperback - Trade
Pages:	484
Edition:	1983 ed.
ISBN-13:	978-3-540-12958-5
Languages:	German
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	3-540-12958-8
Barcode:	9783540129585

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!