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

FESTIVAL Christmas

FESTIVAL Christmas

Fachzeitschriften für Weihnachtsartikel, Geschenke, Floristik, Papeterie und vieles mehr! FESTIVAL Christmas: Die erste und einzige internationale Weihnachts-Fachzeitschrift seit 1994 auf dem ...

ARCH+.

ARCH+.

ARCH+ ist eine unabhängige, konzeptuelle Zeitschrift für Architektur und Urbanismus. Der Name ist zugleich Programm: mehr als Architektur. Jedes vierteljährlich erscheinende Heft beleuchtet ...

Berufsstart Bewerbung

Berufsstart Bewerbung

»Berufsstart Bewerbung« erscheint jährlich zum Wintersemester im November mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...

ea evangelische aspekte

ea evangelische aspekte

evangelische Beiträge zum Leben in Kirche und Gesellschaft Die Evangelische Akademikerschaft in Deutschland ist Herausgeberin der Zeitschrift evangelische aspekte Sie erscheint viermal im Jahr. In ...

Eishockey NEWS

Eishockey NEWS

Eishockey NEWS bringt alles über die DEL, die DEL2, die Oberliga sowie die Regionalligen und Informationen über die NHL. Dazu ausführliche Statistiken, Hintergrundberichte, Personalities ...

VideoMarkt

VideoMarkt

VideoMarkt – besser unterhalten. VideoMarkt deckt die gesamte Videobranche ab: Videoverkauf, Videoverleih und digitale Distribution. Das komplette Serviceangebot von VideoMarkt unterstützt die ...

Euphorion

Euphorion

EUPHORION wurde 1894 gegründet und widmet sich als „Zeitschrift für Literaturgeschichte“ dem gesamten Fachgebiet der deutschen Philologie. Mindestens ein Heft pro Jahrgang ist für die ...