Hypothese, Fakt, logisches Schließen, Theorem, Lemma

Hypothese, Fakt, logisches Schließen, Theorem, Lemma

Die Begriffe Hypothese, Fakt, logisches Schließen, Theorem, Lemma und verwandte Konzepte spielen eine zentrale Rolle in der Wissenschaft und Mathematik. Hier eine präzise Definition und Abgrenzung:

1. Hypothese

Eine Hypothese ist eine noch nicht bewiesene Annahme oder Vermutung über ein bestimmtes Phänomen oder eine mathematische Struktur. Sie bildet oft den Ausgangspunkt wissenschaftlicher Untersuchungen.
👉 Beispiel: „Es gibt unendlich viele Primzahlen.“ (Diese Hypothese wurde später als Satz von Euklid bewiesen.)

2. Fakt

Ein Fakt ist eine gesicherte, überprüfbare Wahrheit, die durch Beweise oder empirische Beobachtungen gestützt wird.
👉 Beispiel: „Die Erde dreht sich um die Sonne.“

3. Logisches Schließen

Logisches Schließen ist der Prozess, aus vorhandenen Prämissen (Annahmen) gültige Schlussfolgerungen abzuleiten. Es gibt verschiedene Arten:

4. Theorem (Satz)

Ein Theorem ist eine bewiesene mathematische Aussage. Es basiert auf Axiomen oder bereits bewiesenen Sätzen.
👉 Beispiel: Der Satz des Pythagoras: a2+b2=c2a^2 + b^2 = c^2a2+b2=c2 für rechtwinklige Dreiecke.

5. Lemma

Ein Lemma ist ein Hilfssatz, der oft zur Beweisführung eines größeren Theorems dient.
👉 Beispiel: Das Zornsche Lemma in der Mengenlehre wird für viele größere Theoreme genutzt.

6. Korollar

Ein Korollar ist eine direkte Folgerung aus einem Theorem.
👉 Beispiel: Aus dem Satz des Pythagoras folgt das Korollar, dass in einem gleichschenklig-rechtwinkligen Dreieck die Katheten gleich lang sind.

Zusammenfassung