COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Emmy Noether Society > Canonical Ramsey Theory and The Idea of a Foundation for Mathematics

## Canonical Ramsey Theory and The Idea of a Foundation for MathematicsAdd to your list(s) Download to your calendar using vCal - Natasha Dobrinen (University of Denver) and Juliette Kennedy (University of Helsinki)
- Wednesday 18 November 2015, 17:30-18:30
- Mill Lane Lecture Room 6.
If you have a question about this talk, please contact . Idea of a Foundation for Mathematics: I will review some of the history of foundations, starting from Frege through to the Hilbert Program, leading up to the Incompleteness Theorems of 1931 due to Kurt GĂ¶del. I will discuss my own approach to foundations at the end, a “local foundations” point of view. Canonical Ramsey Theory: The infinite Ramsey’s Theorem states that whenever all pairs of natural numbers are colored by finitely many colors, there is an infinite set on which all pairs have the same color. When one wishes to use infinitely many colors, in other words an equivalence relation, it is not always possible to find an infinite set on which all pairs have the same color. However, a breakthrough of Erdos and Rado show that there is always an infinite set on which the equivalence relation is one of only four canonical types. We will discuss this canonical Ramsey theorem and some of our related work finding canonical equivalence relations on other classes of finite structures with the Ramsey property, as well as applications in set theory. This talk is part of the Emmy Noether Society series. ## This talk is included in these lists:- All CMS events
- Emmy Noether Society
- Guy Emerson's list
- Mill Lane Lecture Room 6
- Mill Lane Room 6
- bld31
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here The Centre for Music and Science (CMS) North British Functional Analysis (NBFAS) Proteins, Genomes & Computers Cambridge Endangered Languages and Cultures Group Statistical Methods for Cognitive Psychologists## Other talksRibosome profiling and virus infection Primary liver tumor organoids: a new pre-clinical model for drug sensitivity analysis Part Ib Group Project Presentations Identification of Active Species and Mechanistic Pathways in the Enantioselective Catalysis with 3d Transition Metal Pincer Complexes "Itsa me! Luigi!" [citation needed] - unlocking your referencing skills Dynamics of Phenotypic and Genomic Evolution in a Long-Term Experiment with E. coli |