People sometimes ask me for applications of proof theory to regular mathematics. I find this question very difficult – although the associativity of function composition certainly qualifies! When people ask me for applications of Model Theory, I have a much easier time: I allude to the following theorem.

# Category Archives: Uncategorised

# Hello world!

Totally QE’D is an undergraduate Mathematics reading group at the University of Stirling. In 2015, we’ll be reading **Algebra, Second Edition** by Michael Artin,, following along with the Harvard Math E222 Abstract Algebra course.

Your hosts/instructors are: Benjamin Merlin Bumpus, Zoltan Attila Parades and Pernille Rytterhuus.