Lemmas

In der mathematischen Logik ist Craigs Interpolationssatz ein Ergebnis über die Beziehung zwischen verschiedenen logischen Theorien .

In der mathematischen Logik beweist das Diagonalelemma (auch Diagonalisierungslemma , Selbstreferenzlemma oder Fixpunktsatz genannt ) die Existenz selbstreferenzieller Sätze in bestimmten formalen Theorien.

Das Lemma von Gordon ist ein Lemma der konvexen und algebraischen Geometrie . Es kann auf verschiedene Weisen formuliert werden.

In der theoretischen Informatik bezeichnet der Begriff Isolationslemma randomisierte Algorithmen , die die Anzahl der Lösungen eines Problems auf eine reduzieren, sofern eine Lösung existiert.

In der theoretischen Informatik und Mathematik , insbesondere im Bereich der Kombinatorik von Wörtern , besagt das Lemma von Levi , dass für alle Zeichenketten u , v , x und y gilt : Wenn uv = xy , dann existiert eine

In der Statistik beschreibt das Neyman-Pearson-Lemma die Existenz und Eindeutigkeit des Likelihood-Quotienten als gleichmäßig stärksten Test in bestimmten Kontexten.

In der Informatik , insbesondere in der Theorie formaler Sprachen , ist das Pumping-Lemma für kontextfreie Sprachen , auch bekannt als Bar-Hillel -Lemma , ein Lemma , das eine allen kontextfreien Sprachen gemeinsame

In der Geometrie von Kreispackungen in der euklidischen Ebene liefert das Ringlemma eine untere Schranke für die Größen benachbarter Kreise in einer Kreispackung.

In der Mathematik , insbesondere in der Theorie transzendenter Zahlen und der diophantischen Approximation , bezeichnet das Lemma von Siegel Schranken für die Lösungen linearer Gleichungssysteme, die durch die

In der Topologie ist das Lemma von Urysohn ein Lemma , das besagt, dass ein topologischer Raum genau dann normal ist , wenn je zwei disjunkte abgeschlossene Teilmengen durch eine stetige Funktion getrennt werden können .