Skip to main content
  • Textbook
  • © 1983

Metamathematik der Elementarmathematik

Authors:

Part of the book series: Hochschultext (HST)

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 chapters)

  1. Front Matter

    Pages i-vii
  2. Das Kontinuum

    1. Was sind die reellen Zahlen?

      • Erwin Engeler
      Pages 1-7
    2. Sprache als ein Teil der Mathematik

      • Erwin Engeler
      Pages 8-18
    3. Elementare Theorie der reellen Zahlen

      • Erwin Engeler
      Pages 19-35
    4. Non-standard Analysis

      • Erwin Engeler
      Pages 36-48
    5. Auswahlaxiom und Kontinuumhypothese

      • Erwin Engeler
      Pages 49-55
  3. Geometrie

    1. Raum und Mathematik

      • Erwin Engeler
      Pages 56-58
    2. Axiomatisierung durch Koordinatisierung

      • Erwin Engeler
      Pages 59-70
    3. Geometrische Konstruktionen

      • Erwin Engeler
      Pages 84-95
  4. Algorithmik

    1. Front Matter

      Pages 96-96
    2. Was ist eine Rechenvorschrift?

      • Erwin Engeler
      Pages 97-103
    3. Konkrete kombinatorische Algebren

      • Erwin Engeler
      Pages 112-117
    4. Lambda-Kalkül

      • Erwin Engeler
      Pages 118-123
    5. Berechenbarkeit und Kombinatoren

      • Erwin Engeler
      Pages 124-132
  5. Back Matter

    Pages 133-134

Authors and Affiliations

  • ETH-Zentrum, Mathematik, Zürich, Schweiz

    Erwin Engeler

Bibliographic Information

  • Book Title: Metamathematik der Elementarmathematik

  • Authors: Erwin Engeler

  • Series Title: Hochschultext

  • DOI: https://doi.org/10.1007/978-3-642-68929-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12151-0Published: 01 February 1983

  • eBook ISBN: 978-3-642-68929-1Published: 12 March 2013

  • Edition Number: 1

  • Number of Pages: VIII, 134

  • Number of Illustrations: 3 b/w illustrations

  • Topics: Mathematical Logic and Foundations

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access