Metamathematische Methoden in der Geometrie
Author(s)
Bibliographic Information
Metamathematische Methoden in der Geometrie
(Hochschultext)
Springer-Verlag, 1983
- :gw
- :us
Available at 14 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
:gwSCH||161||13008597
Note
Bibliography: p. [458]-467
Includes indexes
Contents of Works
- T. 1. Ein axiomatischer Aufbau der euklidischen Geometrie / von W. Schwabhäuser, W. Szmielew und A. Tarski
- T. 2. Metamathematische Betrachtungen / von W. Schwabhäuser
Description and Table of Contents
Description
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.
by "Nielsen BookData"