philosophische Computeranalyse?

[Mustafa]

Aber wenn Mustafa daran arbeite, zu "beweisen" das ein Airbag auslöst
ist nur innerhalb vorangestellter Prämissen möglich.

Natürlich gibt es da vorangestellte Prämissen, anhand der festgelegt wird, ob
wie Ekkard schrieb "ein formaler Weg ein Beweis ist oder nicht".

Hinzu kommt eben noch die Fehleranfälligkeit bei der Umsetzung der Anforderungen.
Computer können immer nur Rechenhilfsmittel sein, daher meine Skepsis beim Einsatz in Bereich philosophischer Analyse.