Have you ever seen a mosquito and wanted to shoo it away? Certainly, if you used a nuclear bomb, this would solve the issue, despite there being many simpler ways to approach the problem. We will discuss mathematical equivalents of this: ways to prove elementary facts using overly complicated methods.

Note: Free refreshments. The talk starts at 5:40.