philosophische Computeranalyse?

[Ekkard]

Sachtmal, bin ich nur schwer von kape? Es geht doch nicht darum, ob Software eine Lichtanlage sinnvoll oder wunschgemäß steuert, sondern darum, ob ein behaupteter "Beweis" ein wahrhaftiger Beweis ist. Das Eine ist eine Frage, wie ich der Software meine Wünsche mitteile, und das Andere eine Frage von Mathematik - und zwar ziemlich abstrakter, die man zu algorithmieren versucht hat - anscheinend mit gewissen Erfolgen. Hier geht es um "konstruktive Mathematik", die abstrakt-logische z. B. boolsche Aussagen so aneinander reiht, dass sie mit dem bereits bestehenden Beweis überein stimmt (und anhält) oder eben nicht (und damit immer weiter wurstelt) - Stichwort: Halteproblem.