Advertisement

Formale Systeme

  • Dirk W. Hoffmann
Chapter
  • 5k Downloads

Zusammenfassung

In Kapitel 1 haben wir die axiomatische Methode als die Grundlage der modernen mathematischen Beweisführung identifiziert und gezeigt, wie sie das Bild der Mathematik im Laufe der Zeit verändert hat. Im modernen Sinne wird das Führen eines Beweises als der Prozess verstanden, Sätze durch die Anwendung wohldefinierter Schlussregeln aus einer kleinen Menge a priori festgelegter Grundannahmen, den Axiomen, abzuleiten. Erst durch den präzisen deduktiven Charakter dieser Vorgehensweise konnte sich die Mathematik zu der exakten Wissenschaft entwickeln, wie wir sie heute kennen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Dirk W. Hoffmann
    • 1
  1. 1.Fakultät für Informatik und WirtschaftsinformatikHochschule KarlsruheKarlsruhe

Personalised recommendations