University of Birmingham > Talks@bham > Midlands Logic Seminar

Midlands Logic Seminar

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Cross disciplinary seminar focusing on all aspects of logic (Mathematics, Computer Science, Philosophy) and organised jointly by Richard Kaye (Mathematics, University of Birmingham) and Walter Dean (Philosophy, University of Warwick).

We normally meet weekly for 2 hours late afternoon for a one hour “study group” session on a topic of interest running over a course of several weeks, often followed by an external speaker on a different topic.

Apart from one even (see the list) the seminar has been put on hold for the academic year 2018-19 and we plan to restart in Autumn 2019.

Tell a friend about this list:

0 upcoming talks and 14 talks in the archive.

Debunking Arguments in Mathematics and Ethics

UserMary Leng, University of York.

HouseMetallurgy and Materials (G6 on the map) room GA03.

ClockWednesday 06 December 2017, 16:00-18:00

Processes as numbers

UserRichard Kaye, University of Birmingham.

HouseMech Eng B07.

ClockThursday 30 November 2017, 16:00-18:00

Predicativity 2

UserLaura Crosilla Birmingham/Leeds.

HouseLaw Seminar room 111.

ClockThursday 23 November 2017, 16:00-18:00

Predicativity 1

UserLaura Crosilla Birmingham/Leeds.

HouseMech Eng B07.

ClockThursday 16 November 2017, 16:00-18:00

A very short introduction to structuralism

UserRichard Kaye, University of Birmingham.

HouseLaw Seminar room 111.

ClockThursday 09 November 2017, 16:00-18:00

Gödel's second incompleteness theorem

UserWalter Dean, Warwick University.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 06 December 2016, 16:00-18:00

Meaning and interpretation in mathematics

UserAndrew Arana (Paris 1).

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 29 November 2016, 16:00-18:00

Set theoretic principles required for categoricity II

UserSchool of Maths, University of Birmingham.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 22 November 2016, 16:00-18:00

Set theoretic principles required for categoricity

UserRichard Kaye, School of Mathematics, University of Birmingham.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 08 November 2016, 16:00-18:00

Fast growing functions and ordinals

UserRichard Kaye, School of Maths, University of Birmingham.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 01 November 2016, 16:00-18:00

Incompleteness via paradox (and completeness)

UserWalter Dean, University of Warwick.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 25 October 2016, 16:00-18:00

Dedekind's "Was sind und was sollen die Zahlen?" and choice

UserRichard Kaye, School of Mathematics, University of Birmingham.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 18 October 2016, 16:00-18:00

Dedekind's "Was sind und was sollen die Zahlen?"

UserRichard Kaye, School of Mathematics, University of Birmingham.

HouseWatson Building (Mathematics, R15 on map) Room 310.

ClockTuesday 11 October 2016, 16:00-18:00

If you have a question about this list, please contact: Richard. If you have a question about a specific talk, click on that talk to find its organiser.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.