BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Graph Theory and the Transfinite - Michael Rathje
n (Leeds)
DTSTART:20190517T100000Z
DTEND:20190517T110000Z
UID:TALK3751AT
URL:/talk/index/3751
DESCRIPTION: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 tri
ed to rebuild mathematics from a stance that assum
es the existence of the set of natural numbers as
an actual completed infinity but no higher infinit
ies. Much later in the 1970s\, logicians began to
systematically scour various chunks of ordinary ma
thematics 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 did
n'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 dis
cuss some famous theorems and their relationships
with the infinite world.
LOCATION:Computer Science\, The Sloman Lounge (UG)
CONTACT:Benedikt Ahrens
END:VEVENT
END:VCALENDAR