Skip to main content
SpringerLink
Log in

Metamathematik der Elementarmathematik

  • Textbook
  • © 1983

Overview

Authors:
  1. Erwin Engeler

    1. ETH-Zentrum, Mathematik, Zürich, Schweiz

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Hochschultext (HST)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  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. Wissenschaftstheoretische Fragen und Methoden der Elementargeometrie

      • Erwin Engeler
      Pages 71-83

    4. Geometrische Konstruktionen

      • Erwin Engeler
      Pages 84-95

  4. Algorithmik

    1. Front Matter

      Pages 96-96
      Download chapter PDF

    2. Was ist eine Rechenvorschrift?

      • Erwin Engeler
      Pages 97-103

    3. Die Existenz kombinatorischer Algebren: kombinatorische Logik

      • Erwin Engeler
      Pages 104-111

    4. Konkrete kombinatorische Algebren

      • Erwin Engeler
      Pages 112-117

    5. Lambda-Kalkül

      • Erwin Engeler
      Pages 118-123

    6. Berechenbarkeit und Kombinatoren

      • Erwin Engeler
      Pages 124-132

  5. Back Matter

    Pages 133-134
    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation