Term 1

Week 1 (4 October):
  • Double study group: Richard Kaye (Birmingham)
    "Mathematics and metamathematics in PA"
    • Week 2 (11 October):
  • Study group and seminar cancelled in lieu of the
    Birmingham Workshop on Fundamentality (Philosophy) .
    •
    Week 3 (18 October):
  • Study group: Richard Kaye (Birmingham)
    "The model theory of metamathematics in PA"
  • Speaker: Alan Reading (Birmingham)
    "Nonstandard finite groups"
    • Week 4 (25 October):
  • Richard Kaye (Birmingham) "The KKL theory of truth"
  • Speaker: Michael Gabbay (Kings)
    • Week 5 (1 November):
  • Study group: Richard Kaye (Birmingham) "M-logic"
  • Speaker: Aarson Sloman (Birmingham)
    • Week 6 (8 November):
  • Study group: TBC
  • Speaker: Tristam de Piro (Exeter)
    "A Simple Proof of the Fourier Inversion Theorem Using Nonstandard Analysis and Applications to the Heat Equation"
    • Week 7 (15 November):
    Mini workshop on the significance of the soundness and completeness theorems
  • 4:00-5:00 Walter Dean (Warwick)
    "Arithmetical reflection, induction, and the provability of soundness"
  • 5:00-6:00: Richard Kaye (Birmingham)
    "Circularity in Soundness and Completeness"
    • Week 8 (22 November):
  • Study group and seminar cancelled in lieu of the
    Birmingham Workshops in Semantics and Pragmatics (Philosophy) .
    •
    Week 9 (29 November):
  • Study group: Walter Dean (Warwick)
    "Intuitionistic Type Theory (Part 1)"
  • Speaker: Christopher Porter (Paris 7)
    "Randomness, Probability, and Computation"
    • Week 10 (6 December):
  • Study group: Walter Dean (Warwick)
    "Intuitionistic Type Theory (Part 2)"
  • Speaker: Kentaro Fujimoto (Bristol)
    "Truth and implicit commitment problem"

    • 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. We typically have a study group session from 4:00-5:00 (term 1 topic: satisfcation classes) and a research talk from 5:00-6:00.

    Logistics

    All meetings for Term 1 2013 will be Friday from 4:00-6:00 in room 310 of Watson Building (School of Mathematics) 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