You are not logged in |
Logic and Dynamical Systems
- Speaker(s)
- Yoàv Montacute
- Affiliation
- University of Cambridge
- Date
- April 26, 2023, 2:15 p.m.
- Room
- room 5050
- Seminar
- Seminar Automata Theory
The study of the relationship between logic and topology has a rich and extensive history. One way of exploring this relationship involves examining the formal languages of indiscrete spaces and their discrete representations. The talk will provide an introduction to this topic and its extension to dynamical systems.
