February 8th at 17:30, in Science Park D1.113
Why is compactness in logic called compactness?
The term ''compactness" would remind a mathematician (whom we consider not to be a logician!) of a topological space which is ''well constructed". However, as a logician, it would remind you of the ''Compactness Theorem", which states that a set of sentences has a model if and only if every finite subset of it has a model.
In this talk, we will see how the compactness theorem for propositional logic can be cast in terms of compactness of a topological space. I'll begin with a basic introduction to general topology, so no background on topology is needed!