Logic and Dynamical Systems

Prelegent(ci)

Yoàv Montacute

Afiliacja

University of Cambridge

Termin

26 kwietnia 2023 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

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.

---