Wie berechenbar ist unsere Welt (eBook)
VII, 41 Seiten
Springer Fachmedien Wiesbaden (Verlag)
978-3-658-21298-8 (ISBN)
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.
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
| Erscheint lt. Verlag | 14.3.2018 |
|---|---|
| Reihe/Serie | essentials | essentials |
| Zusatzinfo | VII, 41 S. |
| Verlagsort | Wiesbaden |
| Sprache | deutsch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Informatik | |
| Sozialwissenschaften ► Soziologie | |
| Schlagworte | Beweisbarkeit • Big Data • HoTT • Künstliche Intelligenz • machine learning |
| ISBN-10 | 3-658-21298-5 / 3658212985 |
| ISBN-13 | 978-3-658-21298-8 / 9783658212988 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 686 KB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
