Dartmouth Logic Seminar

Spring 2012

Logic seminar this spring meets every other Tuesday in Kemeny 120 from 3 to 4 pm.

DateSpeakerTitle
April 3
Cancelled
April 17
Marcia Groszek
Dartmouth College
A generalization of the Cantor-Bendixson derivative
April 29 New England Recursion and Definability Seminar
May 1
Rebecca Weber
Dartmouth College
Random closed sets

An introduction to the definition of algorithmic randomness for closed subsets of Cantor space, and whatever results there is time for.
May 22**
Rebecca Weber
Dartmouth College
AT NOON
Still in Kemeny 120.

More on randomness for closed sets, including results about their unions and intersections.
June 5**
Rebecca Weber
Dartmouth College
Random closed sets and continuous functions

We'll finish up the exploration of algorithmic randomness for closed sets and look at a definition of randomness for continuous functions on Cantor space.
** Note changed date!