Week 3, 27 January

Location:

52 Pritchatts Road LT1 16:00-18:00

Study Group:

The 0-1 System

Speaker: Andrew Brooke-Taylor (Bristol)

AEC categoricity, category theory and large cardinals

Week 4, 3 February

Location:

52 Pritchatts Road LT1 16:00-18:00

Study Group:

Combinatorial games

Speaker: Alex Jones (Birmingham)

Truth, Collection and Deflationism in Models of Peano Arithmetic

Week 5, 10 February

There will be no meeting this week.

Week 6, 17 February

Location:

52 Pritchatts Road LT1 16:00-18:00

Study Group:

Combinatorial games

Speaker: Sam Sanders (Ghent, Munich)

On the contingency of predicativism

Week 7, 24 February

Location:

52 Pritchatts Road LT1 16:00-18:00

Study Group:

Combinatorial games

Speaker: Aaron Sloman (Birmingham)

How can a physical universe produce mathematicians?

Week 8, 3 March

Location:

52 Pritchatts Road LT1 16:00-18:00

Study Group:

Combinatorial games

Speaker: Neil Barton (Birkbeck)

Proper Classes, Forcing Extensions, and Universism

Week 9, 10 March

Location:

52 Pritchatts Road LT1 16:00-18:00

Double study Group (16:00-18:00)

Combinatorial games and the thermograph

Week 10, 17 March

Location:

52 Pritchatts Road LT1 16:00-18:00

Study Group:

Red-blue Hackenbush and NP-hardness

Speaker: Walter Dean (Warwick)

A brief history of Weak König’s Lemma

Prior Sessions

About the seminar

The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science and philosophy of mathematics.

Study group

Our topic for term 2 of 2014-2015 with be combinatorial game theory as developed in Conway's On numbers and games and Berlekamp, Conway, and Guy's Winning Ways.

Logistics

All meetings for Term 2 2014-15 will be Tuesday from 16:00-18:00 (study group 16:00-17:00, research talks 17:00-18:00) at 52 Pritchatts Road LT1, on the campus of the University of Birmingham.

  • campus map
  • google maps

    To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).

    Organizers

    Dr Richard Kaye
    School of Mathematics
    University of Birmingham

    http://web.mat.bham.ac.uk/R.W.Kaye/

    Dr Walter Dean
    Department of Philosophy
    University of Warwick

    http://go.warwick.ac.uk/whdean