Tags:complexity, decidability, finite automata, logic and temporal logic
Abstract:
This talk intends to take the listener along a path weaving a picture from threads of science, history and personal details. It is about connections, connections between theories, between people, between names and places. It is about the beauty and effectiveness of theories and of the individual random walks from which they emerge.