The Topology of Knowing (Or How to Avoid Unexpected Exams)
Alexandru Baltag (Universiteit van Amsterdam - Netherlands)
Abstract: In this talk I will present applications of General Topology to Epistemic Logic (=the logical aspects of knowledge, knowabiity and belief) and Formal Learning Theory. I show that topological methods can throw light on issues such as the value of simplicity as a learning strategy (cf. Ockham's Razor) and the analysis of epistemic paradoxes (e.g. the connection between the so-called Surprise Exam Paradox and the Cantor-Bendixson process of calculating the perfect core). Time-permitting, I may present some complete and decidable logical axiomatizations of these notions and maybe even give a hint concerning the completeness proofs.
geometric topology
Audience: researchers in the topic
Series comments: Web-seminar series on Applications of Geometry and Topology
Organizers: | Alicia Dickenstein, José-Carlos Gómez-Larrañaga, Kathryn Hess, Neza Mramor-Kosta, Renzo Ricca*, De Witt L. Sumners |
*contact for this listing |