Why should we care about independence?
18th May 2018, 4:30 pm – 5:40 pm
Howard House, 4th Floor Seminar Room
Independence is trending. But where people often tend to focus on northern UK, northern Spain and northern measure theory, I'll talk about the one they tend to forget: logical independence. What does it mean for a statement to be independent? Where are they? Why should you care? Even better: how can you twist the independence phenomenon to grant you more tools to prove your theorems?