Klaus Mainzer legt in diesem essential dar, dass die Zukunft von KI und Digitalisierung eine n chterne Analyse erfordert, die Grundlagenforschung mit Anwendung verbindet. Berechenbarkeits- und Beweistheorie k nnen dazu beitragen, Big Data und Machine Learning sicherer zu bew ltigen. Dabei zeigt sich, dass die komplexen Herausforderungen der digitalen und analogen Welt in Grundlagenfragen der Mathematik, Informatik und Philosophie tief verwurzelt...