Vor einigen Jahren hatten wir hier mal zu den neuen Möglichkeiten der Computer-Verifikation mathematischer Beweise geschrieben (Was ist ein Beweis?). Das Thema hat sich inzwischen weiterentwickelt, u.a. gab es am IAS in Princeton ein thematisches Jahr 2012/13 über die “univalenten Grundlagen der Mathematik”, aus dem auch ein Buch hervorgegangen ist, und natürlich gab es einige…
Wissenschaftsgegner argumentieren häufig, daß es Beweise nur in Mathematik und Logik gäbe, weshalb zum Beispiel die Evolutionstheorie nicht als bewiesen, sondern bestenfalls als zu einem hohen Grade bestätigt anzusehen sei.
Letzte Kommentare