As historical processes increasingly become steeped in technology, it becomes more necessary for a discipline to emerge that is capable of comprehending these materialities to better understand the fields they inundate such as science, art, and warfare. This effort is further compromised by the inherent complexity and complete arbitrariness of technical languages—especially when they are algorithmic—along with the rapid pace in which they become obsolete, unintelligible, or simply forgotten. The Turing Machine plays a central role in the Archaeology of Algorithmic Artefacts, wherein the gradual developments of the individual components encompassed by this complex technology are placed within the context of engineering sciences and the history of inventions. This genealogy also traces the origin of the computer in mathematics, meta-mathematics, combinatorics, cryptology, philosophy, and physics. The investigations reveal that the history of apparatuses that process signs is in no way limited to the second half of the twentieth century; rather, it is possible they existed at all times and in all cultures.

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.