Friedman, Harvey M. - 2018
We are going to discuss enormous integers and rates of growth after [PH77]. This breakthrough was based on a variant of the classical finite Ramsey theorem. Since then, examples have been given of greater relevance to a number of standard mathematical and computer science contexts, often...