BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20170424T100104Z
DTSTART;TZID=America/Los_Angeles:20170505T141500
DTEND;TZID=America/Los_Angeles:20170505T153000
TRANSP:OPAQUE
SUMMARY:Logic at UC Berkeley Conference: Computability Theory
UID:108872-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="UC Berkeley Calendar Network":
LOCATION:3 LeConte Hall
DESCRIPTION:Denis Hirschfeldt\, University of Chicago\n\nI will discuss some recent work and possible future developments in computability theory\, with an inevitable bias towards my own interests. The study of Turing reducibility and the Turing degrees has long been the backbone of the area\, but many other notions of computability-theoretic comparison\, old and new\, have been intensely studied in the last few years. These notions\, and the ways they allow us to view computability theory as the study of the fine structure arising from interactions between definability and computation\, can serve as a guiding principle to exploring the many ways in which the field has expanded over the last couple of decades or so. Some of this work is “pure” computability theory\, but much of it has focused on connections with other areas of mathematics. Within mathematical logic\, three examples are computable model theory\; reverse mathematics\, which connects computability theory with proof theory\; and the study of the effective mathematics of the uncountable\, which often requires an engagement with set theory. I hope to touch on these and other areas to give a glimpse\, however incomplete\, of the field\, eighty years or so after its beginnings.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=108872&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20170424T100104Z
LAST-MODIFIED:20170424T100104Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR