Summer Undergraduate Research Seminar: James Cummings (Carnegie Mellon University)

Speaker: James Cummings Finitary facts and infinitary proofs Abstract: I will describe an example of a fact about finite sets that can only...