Visit our Christmas Gift Finder
Metamathematische Methoden in Der Geometrie - Hochschultext (Paperback)
  • Metamathematische Methoden in Der Geometrie - Hochschultext (Paperback)
zoom

Metamathematische Methoden in Der Geometrie - Hochschultext (Paperback)

(author), (author), (author)
£45.99
Paperback 484 Pages / Published: 01/10/1983
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Das vorliegende Buch besteht aus zwei Teilen. Teil I enth lt einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen Sinne (auch f r die absolute Geometrie) gleichwertig ist mit dem Hilbertschen Axiomensystem, aber formalisiert ist in einer Sprache, die f r die Betrachtungen in Teil II besonders geeignet ist. Mehrere solche Axio- mensysteme wurden schon vor langer Zeit von Tarski ver ffentlicht. Hier wird nun die Durchf hrung eines Aufbaus der Geometrie auf Grund eines solchen Axiomensystems - unter Benutzung von Resultaten von H. N. Gupta - allgemein zug nglich gemacht. Die vorliegende Darstel- lung wurde vom zuerst genannten Autor allein geschrieben, aber sie beruht zum Teil auf unver ffentlichten Resultaten von Alfred Tarski und Wanda Szmielew; daher geb hrt ihnen ein Teil der Autorschaft. Mehr ber Entstehung und Inhalt von Teil I sowie ber die Geschichte der Tarskischen Axiomensysteme wird in der Einleitung (Abschnitt I.O) gesagt. Teil II enth lt metamathematische Untersuchungen und Ergebnisse ber verschiedene Geometrien, was vielfac auf eine Anwendung von Methoden und S tzen der mathematischen Logik auf Geometrien hinausl uft (vgl.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540129585
Number of pages: 484
Weight: 780 g
Dimensions: 244 x 170 x 25 mm
Edition: 1983 ed.

You may also be interested in...

Godel's Proof
Added to basket
£10.99
Paperback
Active Arithmetic!
Added to basket
Naive Set Theory
Added to basket
£8.95
Paperback
Introducing Infinity
Added to basket
How to Prove It
Added to basket
Alan Turing's Systems of Logic
Added to basket
Numbers, Sequences and Series
Added to basket
Alan M. Turing
Added to basket
£9.99
Paperback
Foundation Mathematics for Biosciences
Added to basket
Proof Theory
Added to basket
£17.99
Paperback
Sets, Logic and Categories
Added to basket

Please sign in to write a review

Your review has been submitted successfully.