Ich sagte schon immer, wer PallMall raucht, hat nen Vogel!
Ich würde nach kurzer Überlegung auf den Deutschen tippen; Einstein war Deutscher, und tiefenpsychologisch gesehen identifiziert er sich mit der Lösung. Da Einstein Haustiere für unpraktisch hält kommt für ihn nur ein Fisch in Frage, der bellt nicht und braucht auch sonst weniger Aufmerksamkeit, als die anderen Haustiere.
Da dies als Beweis nicht ausreicht, habe ich mir die heuristische Zahlentheorie zu Nutze gemacht und im 3. Methatheorem (auch als Korrektheitstheorem bekannt) - immer die Erfüllbarkeit vorausgesetzt - kommt man dann schnell zu folgender Algorithmitk:
Die axiomale Deduktion weist unter Berücksichtigung der De Morgan-Regel auf die Lösung hin: Zugegeben nicht ganz trivial durchschaubar, aber bei Licht betrachtet nur logisch:
Wenn alle Falsum kausal ausgeschlossen wurden, dann muss das grüne Haus nach den Gesetzen der höherstufigen Logik die Klausel beinhalten. Es handelt sich um den gültigen wff, wenn man dem Allquantor (Generalisator) folgt, ergibt sich tautologisch der Quantor Rothändle */* Bier, woraus der Däne mit seinem gebrühten Blättergetränk (eine andere Normalform von Wasser) ausscheidet. Eine weitere Unifikation führt dann über die pränexe Normalform zur Refutation: Milch = Brite, der Rest ist dann einfach:
reducto ad absurdum folgt dass Fisch == grün == Deutsch. Damit ist das "Rätsel" gelöst.
Solche Spielereien lassen sich übrigens auch ganz systhematisch mit der Programmiersprache Prolog lösen, aber dazu war ich dann zu faul...
Gruß Michael
PS: Hatte Einstein was gegen Briten??? (Milch?)
PSPS: Ich kann auch gut angeben, was??
antworten