Fazit: Ein korrektes Herangehen an die Lösung des Ziegenproblems muss alle Informationen der Problemstellung und deren implizite zwangsläufige Folgerungen von vornherein berücksichtigen und darf nicht Teile davon ignorieren. Das kam in der Artikeldiskussion von allen Teilnehmern dankenswerter Weise bereits wiederholt zum Ausdruck. Zum Beispiel schrieb Nijdam am 7. April 2009 unter "Mathe": Gilt gleichfalls für mich. Ich möchte sicher sein alle Info zu benutzen. In ein solcher Problem ist das sogar notwendig. Nur wenn ich alles was bis dem Moment der Entscheidung bekannt ist, benutze, bin ich sicher der richtige Entscheidung. Also berechne ich, genau wie der Kandidat im Problem, für gegeben k: P(A=K|K=k,M=2) Nijdam 18:09, 7. Apr. 2009 (CEST). Genau das ist wichtig und zeigt für die Lösung in die richtige Richtung. Genau das ist anzustreben. Es wird sicher schwierig, in einer mathematischen Formulierung die gesamte gegebene Beweisgrundlage von Anfang an korrekt zu formulieren. Ein Theorem zu finden, das die Ausgangslage voll berücksichtigt. Die deutsche Wikipedia ist hier also auf dem richtigen Weg. Es wäre zu begrüßen, wenn hier Fortschritte in dieser Richtung kommen und wir uns der ersten "sinnvollen" mathematisch von Anfang an korrekt formulierten Lösung annähern könnten. Und ein Theorem gefunden werken kann, das alle grundlegenden Aspekte der Ausgangslage / der von Anfang an gegebenen Beweislage berücksichtigt. Nur das wäre dann eine wirklich elegante Lösung. Wir sind auf dem richtigen Weg! Viel Glück und: Bitte macht alle in diese Richtung weiter. Liebe Grüße -- Gerhardvalentin 07:43, 9. Apr. 2009 (CEST)