Everybody knows them. Smartphones that talk to us, wristwatches that record our health data, workflows that organize themselves automatically, cars, airplanes and drones that control themselves, traffic and energy systems…

Grundlagen und Zusammenhange begreifen, von den mathematischen und physikalischen Grundlagen bis zu den technischen Anwendungen, ist ein zentrales Ziel des Buchs.

In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data…

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive…

Auf dem 5. Mainzer Umweltsymposium prasentierten Experten aus Wissenschaft und Praxis Ansatze fur eine umweltfreundlichere und effizientere Energiepolitik und demonstrierten anhand aktueller Beispiele aus den Vereinigten Staaten und Danemark, welche…

This collection of papers demonstrates the links among the philosophical points of view, areas of focus and methods of treatment used in examining the many facets of scientific inquiry. It…