Week 1, 30 September

There will be no meeting this week.

Week 2, 7 October

Location:

Arts LR2 16:00-18:00

Study Group:

Polya Chapter 3 "Induction in solid geometry"

Speaker: Richard Kaye (Birmingham)

Toggle Machines

Week 3, 14 October

Location:

Watson R17/18 16:00-18:00

Study Group:

Polya Chapter 4 "Induction in the theory of numbers"

Speaker: Paul Taylor (Birmingham)

Overt Subspaces of Rn

Week 4, 21 October

Location:

Arts LR2 16:00-18:00

Speaker: Matthew Robey (Birmingham)

De Morgan and the Syllogism

Week 5, 28 October

Location:

Watson R17/18 16:00-18:00

Study Group:

Polya Chapter 6 "A more general statement (Euler's memoir)"

Speaker: Hidenori Kurokawa (Kobe, Helsinki)

The Principle of Reflection via nested sequents

Week 6, 4 November

The seminar will not be meeting this week.

Week 7, 11 November

Location:

Law 111 16:00-18:00

Study Group:

Polya Chapter 12 "Some Conspicuous Patterns"

Speaker: Rashad Lak (Birmingham)

Nonstandard Representations of Metric Groups

Week 8, 18 November

Location:

Watson R17/18 16:00-18:00

Study Group:

Disccusion of Feferman's "The logic of mathematical discovery versus the logical structure of mathematics"
(as reprinted in In the Light of Logic , Chris Scambler)

Speaker: Walter Dean (Warwick)

Induction, feasability, and the sorites

Week 9, 25 November

Location:

Law 111 16:00-18:00

Study Group:

Discussion of Polya chapter 13 "Further patterns and first links" (Walter Dean)

Speaker: David Miller (Warwick)

Reconditioning the Conditional

Week 10, 2 December

Location:

Watson R17/18 16:00-18:00

Study Group:

A computability theoretic characterization of Polya's plausible inference scheme (Richard Kaye)

Speaker: Chris Scambler (Birmingham)

A Semi-Constructive Framework for Set-Theoretic Truth

Week 11, 9 December

Location:

Muirhead 113 16:00-18:00

Study Group:

Discussion of Polya chapters 13-14 (David Miller)

Speaker: Jamie Gabbay (Heriot-Watt)

Consistency of Quine's NF using nominal techniques

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 1 of 2014-2015 is the use of induction and heuristics in mathematical problem solving. We will be working through George Polya's book Induction and Analogy in Mathematics .

Logistics

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

Note that this term the location will vary from week to week; please see individual listings for room numbers.

  • 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