Computability Learning Seminar

Thursday, May 28, 2015 2:00 pm - 2:00 pm EDT (GMT -04:00)

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

“Ramsey’s Theorem”

We have seen with Sam two proofs of Ramsey’s Theorem. This time we give a third proof of that uses Konig’s Lemma but can be carried out in RCA0.