Results by title

2 books match the query 'Machine theory'

cover of Archaeology of Algorithmic Artefacts

Archaeology of Algorithmic Artefacts

David Link

University of Minnesota Press, 2016

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.


[more]
cover of Logic and Automata: History and Perspectives

Logic and Automata

History and Perspectives

Edited by Jörg Flum, Erich Grädel, and Thomas Wilke

Amsterdam University Press, 2008

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.
 
[more]