philosophische Computeranalyse?

[Ekkard]

Inwieweit trifft also zu, dass (wie im Artikel ausgesagt) Computer bei der Bewertung der "Richtigkeit" philosophischer Aussagen hilfreich sein können?

Der Gödelsche Gottesbeweis ist letztlich eine formale Analyse des Gottesbegriffes. Formale Argumentationsketten lassen sich durch Algorithmen bilden. Je nach Komplexität können daraus gewünschte Ergebnisse entstehen oder auch nicht. Eben jener Gödel hat nämlich auch bewiesen, dass komplexe Theorien zulassen, unentscheidbare Problemstellungen zu formulieren. Da kann dann auch KI (künstliche Intelligenz, eigentlich: maschinelle Algorthmik) nichts mehr machen.

Ich bin da eher skeptisch.

Da es ein "allgemeines Halteproblem" bei der formalen Analyse nicht geben kann, wird man Klassen von Problemen finden, die mit einem Ergebnis enden, also die Entscheidung zulassen, ob ein formaler Weg ein Beweis ist oder nicht. Für Lehrer, Korrekturassistenten und Professoren, die sich damit herum schlagen müssen, ob ihre Schüler oder Studenten geniale Beweise gefunden haben oder nicht, könnten solche KI Systeme eine Hilfe sein.

Vielleicht kann die mathematische Zunft auch die Behauptung überprüfen, dass auf den (beispielsweise) 200 Seiten eines neuartigen Beweises etwas Richtiges steht oder ob sich darin Fehlschlüsse verbergen. Hier aber habe ich auch meine Bedenken, weil eine nicht unerhebliche Arbeit darin besteht, den Beweisgang in eine Form zu bringen, die von KI-Maschinen verstanden wird - und diese Arbeit ist ihrerseits fehleranfällig.