
Ari Nieh Alexander's Theorem September 12, 2005 UC Berkeley 

Alfonso GraciaSaz Pythagorean Theorem September 12, 2005 UC
Berkeley 

John Goodrick SchröderBernstein Theorem September 13,
2005 UC Berkeley 

Kenny Easwaran Cantor's Theorem September 16,
2005 UC Berkeley 

Alex Woo Hilbert's Syzygy Theorem September 26,
2005 UC Berkeley 

Eli Lebow Infinitude of Primes September 26,
2005 UC Berkeley 

Alice Medvedev Compactness Theorem September 30,
2005 UC Berkeley 

David Farris Invariance of Morse Homology October 10,
2005 UC Berkeley 

Noah Snyder NielsenSchreier Theorem October 10,
2005 UC Berkeley 

Theo JohnsonFreyd HahnBanach Theorem October 10,
2005 UC Berkeley 

Brenda Fine Pascal's Theorem October 18,
2005 Trafalgar Elementary 

Tracy Lau BolzanoWeierstrass Theorem October 18,
2005 Trafalgar Elementary 

Ben Webster Independence of Characters November 3,
2005 UC Berkeley 

Scott Aaronson KarpLipton Theorem March 6,
2006 Perimeter Institute, Waterloo 

Emily Peters Matrix Tree Theorem March 10, 2006 UC
Berkeley 

Aggie Branczyk Bell's Inequality March 17,
2006 University of Queensland 

Peter Rohde Generalized Quantum Hamming Bound March 17,
2006 University of Queensland 

Robert Spalek Equivalence of the
Spectral Adversary and the Minimax Adversary March 17,
2006 University of Queensland 

Paul Baginski Ax's Theorem March 21,
2006 UC Berkeley 

Michael Donatz Wedderburn's Little Theorem April 18,
2006 Oregon State University 

Emily King Classical Sampling Theorem May 18,
2006 University of Maryland 

Mike Hall Period 3 Implies Chaos May 18,
2006 University of Maryland 

Wing Mui Caratheodory's Theorem July 29, 2006 Hampshire
College Summer Studies in Mathematics 

Jarad Demick Pythagorean Theorem May 13, 2007
Central Connecticut State University 

Ray Robillard Rolle's Theorem May 13, 2007
Central Connecticut State University 

Eric Paniagua Pythagorean Theorem April 14, 2007
California Institute of Technology 

Josh Zahl Jensen's Inequality April 14, 2007
California Institute of Technology 

Aliza Malz Rationals and Irrationals Dense in Reals April 19, 2007
California Institute of Technology 

Jeff Kuan Existence of a Nonmeasurable Set April 19, 2007
California Institute of Technology 

Marty Rosenberg Falling Ladder Paradox April
19, 2007
California Institute of Technology 

Vera te Velde Hairy Ball Theorem April 19,
2007
California Institute of Technology 

Jay Shah Infinitude of Primes January 23,
2009 University of Chicago 

John Wiltshire Gordon Fundamental Theorem of Heath Theory January 23,
2009 University of Chicago 

Katie Waddle Pythagorean Theorem January 23,
2009 University of Chicago 

Louis Wasserman SzemerediTrotter Theorem January 23,
2009 University of Chicago 

Lucas Culler Quadratic Reciprocity January 23,
2009 University of Chicago 

Matthew Woolf Frobenius' Theorem January 23,
2009 University of Chicago 

Nic Ford Grothendieck's Theorem of
Generic Flatness (special case) January 23,
2009 University of Chicago 

Robert Sare Konig's Lemma January 23,
2009 University of Chicago 

Ryan Julian A holomorphic map from a compact Riemann surface to
C is constant January 23,
2009 University of Chicago 

Christine Ho and Stephanie Sapp LindebergLevy Central Limit
Theorem December 19, 2009 UC Berkeley 

Cooper Creagan, Jess Gutfleish and Russell Marcus A Henkinstyle
completeness theorem for propositional logic February 21, 2011 Hamilton College 

Nick Janetos First welfare theorem of economics April 1st, 2011 University of Washington Seattle 

MJ Wales Divergence of the sum of reciprocals of primes April 24th, 2011 Montreal 

Thom Bohdanowicz The Monotone Convergence Theorem December 11, 2013 The Institute for Quantum Computing, University of Waterloo 