In der theoretischen Informatik besagt das Diamond Lemma (auch: der Satz von Newman, nach Max Newman), dass eine fundierte Relation genau dann konfluent ist, wenn sie lokal konfluent ist.
Dieses Resultat ist die Grundlage zur Entscheidbarkeit der Konfluenz bei terminierenden Termersetzungssystemen.
Da das Diagramm im Beweis dieses Satzes entfernt an einen Diamanten erinnert, hat er diesen Namen bekommen.
Wikimedia Foundation.
Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Maxwell Herman Alexander Newman — (* 7. Februar 1897 in London; † 22. Februar 1984 in Comberton nahe Cambridge) war ein britischer Mathematiker und Kryptoanalytiker. Während des Zweiten Weltkrieges trug er in Bletchley Park wesentlich zur Entzifferung des verschlüsselten geheimen … Deutsch Wikipedia
Maxwell Newman — Maxwell Herman Alexander Newman (* 7. Februar 1897 in London; † 22. Februar 1984 in Comberton nahe Cambridge) war ein britischer Mathematiker und Kryptoanalytiker. Während des Zweiten Weltkrieges trug er in Bletchley Park wesentlich zur… … Deutsch Wikipedia
Max Newman — Maxwell Herman Alexander Newman (* 7. Februar 1897 in London; † 22. Februar 1984 in Comberton nahe Cambridge) war ein britischer Mathematiker und Kryptoanalytiker. Während des Zweiten Weltkrieges trug er in Bletchley Park wesentlich zur … Deutsch Wikipedia
Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Die Lady von Shanghai — Filmdaten Deutscher Titel Die Lady von Shanghai Originaltitel The Lady from Shanghai … Deutsch Wikipedia
Liste von Konzeptalben — Hier werden Konzeptalben nach Themen sortiert aufgelistet: Inhaltsverzeichnis 1 Ereignisse aus der Geschichte 2 Reale Personen 3 Existierende Vorlagen 4 Fiktive P … Deutsch Wikipedia
Diamond Lemma — In der theoretischen Informatik besagt das Diamond Lemma (auch: der Satz von Newman, nach Max Newman), dass eine fundierte Relation genau dann konfluent ist, wenn sie lokal konfluent ist. Dieses Resultat ist die Grundlage zur Entscheidbarkeit der … Deutsch Wikipedia
Tschadische Sprachen — Tschadisch (braun) innerhalb der Afroasiatischen Sprachen Die Tschadischen Sprachen (auch Tschadsprachen genannt) sind ein eigenständiger Zweig der Afroasiatischen Sprachfamilie. Er umfasst etwa 195 genetisch verwandte Sprachen, die in Nigeria,… … Deutsch Wikipedia
Tschadsprache — Tschadisch (Blau) innerhalb der Afroasiatischen Sprachen Die Tschadischen Sprachen (auch Tschadsprachen genannt) sind ein eigenständiger Zweig der Afroasiatischen Sprachfamilie. Er umfasst etwa 195 genetisch verwandte Sprachen, die in Nigeria,… … Deutsch Wikipedia
