This book is the opening volume of an interdisciplinary series exploring the dynamic intersection of complex systems, artificial intelligence (AI), and emerging technologies. As AI-driven solutions become essential for handling vast and ever-growing data sets, innovation in computing technologies is crucial. At the same time, sustainability and resource limitations must be addressed.Bringing together classic digitalization, neuromorphic computing, quantum technologies, and the late...

Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has to face. In an early phase of symbolic AI, AI focused on formal programs (e.g., expert systems), in which rule-based knowledge was processed with the help of symbolic logic. Today, AI is dominated by statistics-based machin...

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 mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling t...

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logi...

This Brief is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of Steven Wolfram, it is argued that cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise answers and predictions in the universe of cellular automata.Indeed, eventually we ha...

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 with autonomous logistics or robots that explore distant planets are technical examples of a networked world of intelligent systems. Machine learning is dramatically changing our civilization. We rely more and more on efficient algorithms, because otherwise we will not be...

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. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood, because the foundations of algorithms and information systems are not studied rigorously. Actu...

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 Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a sch...

chapter 1 Time in the Classical and Medieval Worldviews From the Beginnings to the Pre-Socratic School Zeno's Time Arrow and Aristotle's Continuum 6 Time and Creation According to Saint Augustine 15 Time and Medieval Astronomy 18 20 Calendars and Clocks chapter 2 Time in the Worldview of Classical Physics 25 Absolute Time According to Newton 26 Relational Time According to Leibniz 30 Time in Classical Mechanics 31 Time in Kant's Epistemology 35 chapter 3 Relativistic Spacetime 43 Time in S...

The principle of local activity explains the emergence of complex patterns in a homogeneous medium. At first defined in the theory of nonlinear electronic circuits in a mathematically rigorous way, it can be generalized and proven at least for the class of nonlinear reaction-diffusion systems in physics, chemistry, biology, and brain research. Recently, it was realized by memristors for nanoelectronic device applications. In general, the emergence of complex patterns and structures is expl...

Here, expert authors delineate approaches that can support both decision makers as well as their concerned populations in overcoming unwarranted fears and in elaborating policies based on scientific evidence. Four exemplary focus areas were chosen for in-depth review, namely:- The scientific basis of risk management- Risk management in the area of environmental and ecological policy- Risk management in radiation medicine- Risk management in context with digi...

This book argues for neuromorphic systems as a technology of the future, which are oriented towards the energy efficiency of natural brains. Energy efficiency is a dramatic claim in times of environmental and climate challenges which should consider the sustainability goals of the United Nations (UN). Mathematically, neuromorphic computing is connected to analogue ('real') computing, which theoretically overcomes the limits of digital Turing computability. Therefore, the book also consider...