3 Suchergebnisse

Man unterscheidet im Wesentlichen zwei Beweisverfahren, den direkten Beweis und den indirekten Beweis.
Jeder Beweis besteht aus drei Schritten, die schon von EUKLID so angegeben wurden, nämlich
Voraussetzung – Behauptung – Beweis(durchführung).
Wenn eine mathematische Aussage bewiesen werden soll, dann ist es günstig, diese Aussage in Form einer Implikation,
also in „wenn …, dann …“-(oder in „wenn … , so gilt …“-) Form anzugeben. Der auf „wenn“ folgende Satzteil enthält bei einer solchen Formulierung die Voraussetzung, der sich an „dann“ (bzw. „so gilt“) anschließende die Behauptung. Die Umkehrung eines Satzes lässt sich auf diese Weise ebenfalls leichter formulieren.

* 27. Dezember 1654 (6. Januar 1655) Basel
† 16. August 1705 Basel

JAKOB BERNOULLI gilt als einer der Hauptvertreter der Infinitesimalrechnung seiner Zeit. Gemeinsam mit seinem Bruder Johann entwickelte er den „Leibnizschen Calculus“ weiter.
Mit dem aus seinem Nachlass im Jahre 1713 herausgegebenen Buch „Ars conjectandi“ wurde JAKOB BERNOULLI zum Begründer einer Theorie der Wahrscheinlichkeitsrechnung. In diesem Werk wird u.a. die Anwendung der Kombinatorik auf Glücks- und Würfelspiele beschrieben, und das (schwache) Gesetz der großen Zahlen wird formuliert.

Neben der naiven, von Mengenvorstellungen und Anordnungen ausgehenden Gewinnung der natürlichen Zahlen oder einem streng mengentheoretisch fundierten Vorgehen ist auch ein sogenannter axiomatischer Aufbau der natürlichen Zahlen möglich. Dabei wird von Grundsätzen ausgegangen, die in ihrer Gesamtheit einleuchtend, vollständig, zueinander widerspruchsfrei und voneinander unabhängig sein müssen. Diese bilden dann ein Axiomensystem.