(Informatik Spektrum: Vol. 43, No. 4, 2020) Reisig, Wolfgang
In diesem Beitrag frage ich nach einem Rahmen für eine umfassende Theorie der Informatik als eine formale Theorie der diskreten dynamischen Systeme, nach dem Vorbild der Theoriebildung in den Naturwissenschaften. An zahlreichen Beispielen zeige ich, dass dieses Unterfangen durchaus aussichtsreich ist und in isolierten Teilen schon vorliegt. Auf lange Sicht könnte die Informatik damit eine eigenständige Wissenschaft herausbilden, in Ergänzung zu ihren starken technologischen Aspekten, mit eigener theoretischer, mathematischer Basis, und auf Augenhöhe mit den Naturwissenschaften.