Diskussion:Satz von Herbrand

Einleitung dieser Diskussionsseite anzeigen

Herbrand-Theorie

Letzter Kommentar: vor 9 Jahren3 Kommentare3 Personen sind an der Diskussion beteiligt

Wo wird der Satz von Herbrand als "Herbrand-Theorie" bezeichnet, wie im Artikel behauptet? --Wuzel 16:29, 16. Mär. 2008 (CET)Beantworten

Weiß ich nicht, deshalb habe ich es mal entfernt. Ich kenne mich ja nicht in diesem Bereich aus, aber ich könnte mir durchaus vorstellen, dass das ein Missverständnis war. Auf eine kurze Google-Suche nach "Herbrand-Theorie" habe ich wenige Ergebnisse erhalten und viele waren gespiegelte / kopierte Wiki-Artikel. --MartinThoma 20:00, 11. Sep. 2011 (CEST)Beantworten

Möglicherweise eine Fehlübersetzung des englischen Ausdrucks Herbrand’s theorem. --85.176.230.191 12:06, 7. Feb. 2015 (CET)Beantworten

Herbrand-Modell

Letzter Kommentar: vor 9 Jahren2 Kommentare2 Personen sind an der Diskussion beteiligt

Im Artikel steht:

Eine geschlossene Formel ist genau dann erfüllbar, wenn sie ein Herbrand-Modell besitzt

Was ist ein Herbrand-Modell?

Viele Grüße, --Martin Thoma 12:26, 28. Feb. 2015 (CET)Beantworten

Der Satz ist ohnehin falsch:

$\forall x\forall y(f(x)=y)$ ist erfüllbar, aber hat kein Herbrand-Modell!

(nicht signierter Beitrag von 176.198.252.71 (Diskussion) 01:52, 1. Apr. 2015 (CEST))Beantworten

Abschnitt hinzufügen