philosophische Computeranalyse?

[Harpya]

Zurück zu Dame: Es geht nicht darum, das Spiel durch eine Maschine tatsächlich zu gewinnen, sondern darum, dass und wie der Beweis geführt wurde und ob er unzulässige, logische Schritte enthält.

OK, wer Mühle spielt gewinnt immer wenn er einer einfachen Setzanleitung folgt.
Aber wenn Mustafa daran arbeite, zu "beweisen" das ein Airbag auslöst
ist nur innerhalb vorangestellter Prämissen möglich.
In der realen Welt ist das noch ein nicht erfolgreiches Unterfangen.