Suchen und Finden
Service
Wie berechenbar ist unsere Welt - Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung
Klaus Mainzer
Verlag Springer VS, 2018
ISBN 9783658212988 , 45 Seiten
Format PDF, OL
Kopierschutz Wasserzeichen
Geräte
Mehr zum Inhalt
Wie berechenbar ist unsere Welt - Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung
Was Sie in diesem essential finden können
6
Inhaltsverzeichnis
7
1 Einführung
8
1.1 Vom Atomzeitalter zum Zeitalter der Digitalisierung
8
1.2 Von der Grundlagenkrise der Mathematik zur Beweistheorie
9
1.3 Sicherheit in der Mathematik durch automatisierte Beweisassistenten?
10
2 Berechenbarkeits- und beweistheoretische Grundlagen der digitalen und analogen Welt
14
2.1 Grundlagen der Berechenbarkeit und Beweisbarkeit
14
2.2 Grundlagenprogramme des Proof Mining und der reversen Mathematik
17
2.3 Von der intuitionistischen Typentheorie zu HoTT
19
2.4 Real Computing und analoge neuronale Netze
21
2.5 Information als fundamentaler Grundbegriff der physikalischen Realität?
23
3 Technische Anwendungen und gesellschaftliche Perspektive
27
3.1 Big Data und Machine Learning dominieren unsere Welt
27
3.2 Datengetriebene oder theoriegeleitete Forschung?
31
3.3 Beschränkte Rationalität und Künstliche Intelligenz
35
3.4 Blockchain: Einstieg in die total algorithmisierte Gesellschaft?
38
Was Sie aus diesem essential mitnehmen können
42
Literatur
43
Shop