Sie sind hier
E-Book

Wie berechenbar ist unsere Welt

Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung

AutorKlaus Mainzer
VerlagSpringer VS
Erscheinungsjahr2018
Seitenanzahl45 Seiten
ISBN9783658212988
FormatPDF
KopierschutzWasserzeichen/DRM
GerätePC/MAC/eReader/Tablet
Preis4,99 EUR

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 sind.



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. 

Kaufen Sie hier:

Horizontale Tabs

Blick ins Buch
Inhaltsverzeichnis
Was Sie in diesem essential finden können6
Inhaltsverzeichnis7
1 Einführung8
1.1Vom Atomzeitalter zum Zeitalter der Digitalisierung8
1.2Von der Grundlagenkrise der Mathematik zur Beweistheorie9
1.3Sicherheit in der Mathematik durch automatisierte Beweisassistenten?10
2 Berechenbarkeits- und beweistheoretische Grundlagen der digitalen und analogen Welt14
2.1Grundlagen der Berechenbarkeit und Beweisbarkeit14
2.2Grundlagenprogramme des Proof Mining und der reversen Mathematik17
2.3Von der intuitionistischen Typentheorie zu HoTT19
2.4Real Computing und analoge neuronale Netze21
2.5Information als fundamentaler Grundbegriff der physikalischen Realität?23
3 Technische Anwendungen und gesellschaftliche Perspektive27
3.1Big Data und Machine Learning dominieren unsere Welt27
3.2Datengetriebene oder theoriegeleitete Forschung?31
3.3Beschränkte Rationalität und Künstliche Intelligenz35
3.4Blockchain: Einstieg in die total algorithmisierte Gesellschaft?38
Was Sie aus diesem essential mitnehmen können42
Literatur43

Weitere E-Books zum Thema: Logik - Philosophie

Logische Untersuchungen. Ergänzungsband. Zweiter Teil.

E-Book Logische Untersuchungen. Ergänzungsband. Zweiter Teil.
Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94-1921) Format: PDF

Vom Dezember 1913 bis April 1914 arbeitete Husserl an einer Neufassung der VI. Logischen Untersuchung. Der vorliegende Band enthält zum einen die im Zuge dieser Arbeit entstandenen Manuskripte und…

Formen der Anschauung

E-Book Formen der Anschauung
Eine Philosophie der Mathematik Format: PDF

What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or…

Formen der Anschauung

E-Book Formen der Anschauung
Eine Philosophie der Mathematik Format: PDF

What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or…

Dialogischer Konstruktivismus

E-Book Dialogischer Konstruktivismus
Format: PDF

In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…

Dialogischer Konstruktivismus

E-Book Dialogischer Konstruktivismus
Format: PDF

In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…

Dialogischer Konstruktivismus

E-Book Dialogischer Konstruktivismus
Format: PDF

In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…

Weitere Zeitschriften

Archiv und Wirtschaft

Archiv und Wirtschaft

"Archiv und Wirtschaft" ist die viermal jährlich erscheinende Verbandszeitschrift der Vereinigung der Wirtschaftsarchivarinnen und Wirtschaftsarchivare e. V. (VdW), in der seit 1967 rund 2.500 ...

FREIE WERKSTATT

FREIE WERKSTATT

Die Fachzeitschrift FREIE WERKSTATT berichtet seit der ersten Ausgaben 1994 über die Entwicklungen des Independent Aftermarkets (IAM). Hauptzielgruppe sind Inhaberinnen und Inhaber, Kfz-Meisterinnen ...

Burgen und Schlösser

Burgen und Schlösser

aktuelle Berichte zum Thema Burgen, Schlösser, Wehrbauten, Forschungsergebnisse zur Bau- und Kunstgeschichte, Denkmalpflege und Denkmalschutz Seit ihrer Gründung 1899 gibt die Deutsche ...

Das Hauseigentum

Das Hauseigentum

Das Hauseigentum. Organ des Landesverbandes Haus & Grund Brandenburg. Speziell für die neuen Bundesländer, mit regionalem Schwerpunkt Brandenburg. Systematische Grundlagenvermittlung, viele ...

DULV info

DULV info

UL-Technik, UL-Flugbetrieb, Luftrecht, Reiseberichte, Verbandsinte. Der Deutsche Ultraleichtflugverband e. V. - oder kurz DULV - wurde 1982 von ein paar Enthusiasten gegründet. Wegen der hohen ...

F- 40

F- 40

Die Flugzeuge der Bundeswehr, Die F-40 Reihe behandelt das eingesetzte Fluggerät der Bundeswehr seit dem Aufbau von Luftwaffe, Heer und Marine. Jede Ausgabe befasst sich mit der genaue Entwicklungs- ...

FileMaker Magazin

FileMaker Magazin

Das unabhängige Magazin für Anwender und Entwickler, die mit dem Datenbankprogramm Claris FileMaker Pro arbeiten. In jeder Ausgabe finden Sie von kompletten Lösungsschritten bis zu ...