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

Menschen. Inklusiv leben

Menschen. Inklusiv leben

MENSCHEN. das magazin informiert über Themen, die das Zusammenleben von Menschen in der Gesellschaft bestimmen -und dies konsequent aus Perspektive der Betroffenen. Die Menschen, um die es geht, ...

BONSAI ART

BONSAI ART

Auflagenstärkste deutschsprachige Bonsai-Zeitschrift, basierend auf den renommiertesten Bonsai-Zeitschriften Japans mit vielen Beiträgen europäischer Gestalter. Wertvolle Informationen für ...

Card Forum International

Card Forum International

Card Forum International, Magazine for Card Technologies and Applications, is a leading source for information in the field of card-based payment systems, related technologies, and required reading ...

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

Computerwoche

Computerwoche

Die COMPUTERWOCHE berichtet schnell und detailliert über alle Belange der Informations- und Kommunikationstechnik in Unternehmen – über Trends, neue Technologien, Produkte und Märkte. IT-Manager ...

EineWelt

EineWelt

Lebendige Reportagen, spannende Interviews, interessante Meldungen, informative Hintergrundberichte. Lesen Sie in der Zeitschrift „EineWelt“, was Menschen in Mission und Kirche bewegt Man kann ...