Wie berechenbar ist unsere Welt - Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung

Was Sie in diesem essential finden können

Inhaltsverzeichnis

1 Einführung

1.1 Vom Atomzeitalter zum Zeitalter der Digitalisierung

1.2 Von der Grundlagenkrise der Mathematik zur Beweistheorie

1.3 Sicherheit in der Mathematik durch automatisierte Beweisassistenten?

2 Berechenbarkeits- und beweistheoretische Grundlagen der digitalen und analogen Welt

2.1 Grundlagen der Berechenbarkeit und Beweisbarkeit

2.2 Grundlagenprogramme des Proof Mining und der reversen Mathematik

2.3 Von der intuitionistischen Typentheorie zu HoTT

2.4 Real Computing und analoge neuronale Netze

2.5 Information als fundamentaler Grundbegriff der physikalischen Realität?

3 Technische Anwendungen und gesellschaftliche Perspektive

3.1 Big Data und Machine Learning dominieren unsere Welt

3.2 Datengetriebene oder theoriegeleitete Forschung?

3.3 Beschränkte Rationalität und Künstliche Intelligenz

3.4 Blockchain: Einstieg in die total algorithmisierte Gesellschaft?

Was Sie aus diesem essential mitnehmen können

Literatur