Wie berechenbar ist unsere Welt (eBook)

Prof. em. Dr. Klaus Mainzer war nach Studium der Mathematik, Physik und Philosophie, Promotion und Habilitation an der Universität Münster Heisenberg-Stipendiat. Vor seiner Berufung auf den Lehrstuhl für Philosophie und Wissenschaftstheorie an der Technischen Universität München, seiner Tätigkeit als Direktor der Carl von Linde-Akademie und des Munich Center for Technology in Society (MCTS) arbeitete er als Professor und Prorektor an der Universität Konstanz sowie als Ordinarius und Gründungsdirektor des Instituts für interdisziplinäre Informatik an der Universität Augsburg. Er ist Emeritus of Excellence, Mitglied in zahlreichen (inter-)nationalen Gremien und Akademien und verbindet Grundlagenforschung mit Zukunftsfragen der technisch-wissenschaftlichen Welt, insbesondere KI und Big Data. 

Was Sie in diesem essential finden können 6
Inhaltsverzeichnis 7
1 Einführung 8
1.1Vom Atomzeitalter zum Zeitalter der Digitalisierung 8
1.2Von der Grundlagenkrise der Mathematik zur Beweistheorie 9
1.3Sicherheit in der Mathematik durch automatisierte Beweisassistenten? 10
2 Berechenbarkeits- und beweistheoretische Grundlagen der digitalen und analogen Welt 14
2.1Grundlagen der Berechenbarkeit und Beweisbarkeit 14
2.2Grundlagenprogramme des Proof Mining und der reversen Mathematik 17
2.3Von der intuitionistischen Typentheorie zu HoTT 19
2.4Real Computing und analoge neuronale Netze 21
2.5Information als fundamentaler Grundbegriff der physikalischen Realität? 23
3 Technische Anwendungen und gesellschaftliche Perspektive 27
3.1Big Data und Machine Learning dominieren unsere Welt 27
3.2Datengetriebene oder theoriegeleitete Forschung? 31
3.3Beschränkte Rationalität und Künstliche Intelligenz 35
3.4Blockchain: Einstieg in die total algorithmisierte Gesellschaft? 38
Was Sie aus diesem essential mitnehmen können 42
Literatur 43