Diskussion:Herbrand-Interpretation

Ich möchte kurz darauf hinweisen, dass die Thematik Termalgebra vs. Herbrand-Struktur hier bereits diskutiert wurde und es damals Konsens für eine Zusammenlegung gab.--Kamsa Hapnida (Diskussion) 16:16, 25. Mai 2015 (CEST)

Ok, das wusste ich nicht. Ich bin neu hier und habe vorher nur mal auf der Diskussionsseite von Termalgebra geschaut, ob es etwas dazu gibt. Ich muss sagen, dass ich Herbrand-Interpretationen (im Zusammenhang mit minimalen Herbrand-Modellen) mit dem Artikel Termalgebra nicht verstanden habe und erst nach der Recherche in der englischen Wikipedia und auf anderen Seiten verstanden habe, dass man eine Herbrand-Interpretation mit der Menge der gültigen einfachen Aussagen identifizieren kann. Das liegt natürlich daran, dass die zugehörige algebraische Struktur eine Termalgebra ist und deshalb nichts mehr zu der Interpretation von Termen gesagt werden muss. Trotzdem ist eine Herbrand-Interpretation für mich mehr als bloß die Termalgebra, denn sie enthält ja zusätzlich die Information über die Interpretation von Relationssymbolen. So gibt es zu einer algebraischen Signatur ja nur "die" Termalgebra, aber zu einer beliebigen Signatur viele Herbrand-Interpretationen. --Maformatiker (Diskussion) 17:34, 26. Mai 2015 (CEST)