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

bank und markt

bank und markt

Zeitschrift für Banking - die führende Fachzeitschrift für den Markt und Wettbewerb der Finanzdienstleister, erscheint seit 1972 monatlich. Leitthemen Absatz und Akquise im Multichannel ...

cards Karten cartes

cards Karten cartes

Die führende Zeitschrift für Zahlungsverkehr und Payments – international und branchenübergreifend, erscheint seit 1990 monatlich (viermal als Fachmagazin, achtmal als ...

Deutsche Hockey Zeitung

Deutsche Hockey Zeitung

Informiert über das nationale und internationale Hockey. Die Deutsche Hockeyzeitung ist Ihr kompetenter Partner für Ihren Auftritt im Hockeymarkt. Sie ist die einzige bundesweite Hockeyzeitung ...

DSD Der Sicherheitsdienst

DSD Der Sicherheitsdienst

Der "DSD – Der Sicherheitsdienst" ist das Magazin der Sicherheitswirtschaft. Es erscheint viermal jährlich und mit einer Auflage von 11.000 Exemplaren. Der DSD informiert über aktuelle Themen ...

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

IT-BUSINESS

IT-BUSINESS

IT-BUSINESS ist seit mehr als 25 Jahren die Fachzeitschrift für den IT-Markt Sie liefert 2-wöchentlich fundiert recherchierte Themen, praxisbezogene Fallstudien, aktuelle Hintergrundberichte aus ...