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.
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.