Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Seminar

Will Gunther
Carnegie Mellon University
Title: Lemmas are Unnecessary

Abstract: Imagine a game that you play on a pool table without cues. There are $n$ balls on the table, each with some natural number label. You and an adversary alternate turns. On your turn, you remove a ball. Your adversary then places as many balls on the table as they wish, with the condition that each ball they place on the table is labeled with a number less than the ball you removed. You win if you clear the table of balls. Who has a winning strategy? In my talk, I will resolve this question, and use the resolution, typed lambda calculi, and the Curry Howard Isomorphism to prove that lemmas are unnecessary.

Date: Thursday, April 25, 2013
Time: 5:30 pm
Location: Wean Hall 8220
Submitted by:  Brian Kell