University of Birmingham > Talks@bham > Theoretical computer science seminar > Graph Theory and the Transfinite

## Graph Theory and the TransfiniteAdd to your list(s) Download to your calendar using vCal - Michael Rathjen (Leeds)
- Friday 17 May 2019, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Benedikt Ahrens. A bit more than a 100 years ago, as a response to the foundational crisis in mathematics, Hermann Weyl published his “Das Kontinuum” in which he tried to rebuild mathematics from a stance that assumes the existence of the set of natural numbers as an actual completed infinity but no higher infinities. Much later in the 1970s, logicians began to systematically scour various chunks of ordinary mathematics to determine the existential commitments to the infinite that they required. This is known as “Reverse Mathematics”. To put it roughly, it turned out that most of “ordinary” mathematics didn’t need more than what Weyl had assumed. However, there are some notable exceptions. In particular graph theory sports some very nice theorems that require more of the transfinite. The talk will discuss some famous theorems and their relationships with the infinite world. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
Note that ex-directory lists are not shown. |
## Other listsAnalysis Reading Seminar 2019/2020 Birmingham Popular Maths Lectures Physics and Astronomy Colloquia## Other talksLessons and insights from hands-on digital entrepreneurship School Seminar The Large Mathieu Groups Role of Mechanics and Geometry in Cellular Information Processing Evaluation of sources of intelligence using a multi-armed bandit framework Combining Organic Synthesis, Isotopes and Synthetic Biology in Natural Products Research |