Wednesday, April 27, 2017 (2:00 p.m. in Yost 306)
Title: Convex Geometry and Minkowski’s Linear Forms Theorem in Elementary Function Arithmetic
Speaker: Greg Knapp (Case Western Reserve University)
Advisor: Colin McLarty (Professor, Case Western Reserve University)
Abstract: A classical question in formal logic is “how much mathematics do we need to know in order to prove a...