Event Detail
|
Fri Nov 2, 2007 60 Evans Hall — 4:10 pm |
Logic Colloquium Andrés Eduardo Caicedo (Mathematics, California Inst. of Technology) Some Results in Finite Combinatorics |
I survey some (recent) results in finite combinatorics inspired by considerations from mathematical logic. These include a formula for Goodstein's function, the rate of growth of the regressive Ramsey numbers, and the size of intersecting families of finite sets that are minimal under definability.