Diskussion:Herbrand-Struktur
Letzter Kommentar: vor 8 Jahren von Cobalt pen
Im Portal war seinerzeit beschlossen worden, den Artikel in eine Weiterleitung auf Termalgebra umzuwandeln. Hat sich da was geändert?--Pugo (Diskussion) 04:48, 8. Jan. 2016 (CET)
- Die Trennung habe ich vorgenommen. Die Begriffe sind tatsächlich verschieden. Der der Termalgebra entspringt der universellen Algebra und wird in der theoretischen Informatik für die algebraische Spezifikation verwendet. Er ist letztlich algebraischer Natur. Die Herbrand-Struktur gehört zur Logik. Technisch besteht der Unterschied darin, dass die Termalgebra Variablen zulässt, also frei ist, die Herbrand-Struktur nicht. Die Herbrand-Struktur ist die Algebra der Grundterme. Zur Termalgebra gehört auch ein anderes Kalkül, das Gleichheitskalkül, das die Grundlage für Termersetzungssysteme ist, während die Herbrand-Struktur eine Rolle im Prädikatenkalkül ohne Gleichheit spielt.
- Der Hauptgrund, die Trennung vorzunehmen, ist letztlich eine Besonderung im Wikidata. Die Artikel Termalgebra und Herbrandstruktur lassen sich, wenn man die Weiterleitung setzt, nicht mehr 1-1 in anderssprachigen WPen zuordnen. Ich hatte das gerichtet, aber irgend jemand hat es wieder rückgängig gemacht. Siehe en:Term algebra und en:Herbrand structure. Tut mir leid, wenn das jetzt Probleme macht. -- Cobalt pen (Diskussion) 16:08, 8. Jan. 2016 (CET)