Philosopher and logician Levin Hornischer (MCMP, LMU Munich) will join us on December 7th, 11am at HLRS to present his work on Universal Analog Computation.
You can join us in person at HLRS, Room Berkeley/Shanghai (please register with nico.formanek@hlrs.de) or online via webex https://unistuttgart.webex.com/unistuttgart/j.php?MTID=ma92e82651560fa3cb467a55aaeed9602
Levin’s talk will be based on his paper Universal Analog Computation: Fraïssé Limits of Dynamical Systems which you might want to have a look at.
Abstract
Analog computation is an alternative to digital computation, that has recently regained prominence, since it includes neural networks and neuromorphic computing. Further important examples are cellular automata and differential analyzers. While analog computers offer many advantages, they lack a notion of universality akin to universal digital computers. Since analog computers are best formalized as dynamical systems, we review scattered results on universal dynamical systems. We identify four senses of universality and connect to the two main general theories of computation: coalgebra and domain theory. For nondeterministic systems, we construct a universal system as a Fraïssé limit.