## Midlands Logic Seminar
Add to your list(s)
Send you e-mail reminders
Further detail
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. 0 upcoming talks and ## 4th year undergraduate projects in maths and logicas indicated. Watson Building (Mathematics, R15 on map) Lecture Room B (first floor). Wednesday 06 March 2019, 16:00-19:00 ## Debunking Arguments in Mathematics and EthicsMary Leng, University of York. Metallurgy and Materials (G6 on the map) room GA03. Wednesday 06 December 2017, 16:00-18:00 ## A very short introduction to structuralismRichard Kaye, University of Birmingham. Thursday 09 November 2017, 16:00-18:00 ## GĂ¶del's second incompleteness theoremWalter Dean, Warwick University. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 06 December 2016, 16:00-18:00 ## Meaning and interpretation in mathematicsAndrew Arana (Paris 1). Watson Building (Mathematics, R15 on map) Room 310. Tuesday 29 November 2016, 16:00-18:00 ## Set theoretic principles required for categoricity IISchool of Maths, University of Birmingham. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 22 November 2016, 16:00-18:00 ## Set theoretic principles required for categoricityRichard Kaye, School of Mathematics, University of Birmingham. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 08 November 2016, 16:00-18:00 ## Fast growing functions and ordinalsRichard Kaye, School of Maths, University of Birmingham. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 01 November 2016, 16:00-18:00 ## Incompleteness via paradox (and completeness)Walter Dean, University of Warwick. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 25 October 2016, 16:00-18:00 ## Dedekind's "Was sind und was sollen die Zahlen?" and choiceRichard Kaye, School of Mathematics, University of Birmingham. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 18 October 2016, 16:00-18:00 ## Dedekind's "Was sind und was sollen die Zahlen?"Richard Kaye, School of Mathematics, University of Birmingham. Watson Building (Mathematics, R15 on map) Room 310. Tuesday 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. |
## Other listsApplied Mathematics Seminar Series Contemporary History Seminar Computer Security Seminars## Other talksA consistent relaxation of optimal design problems for coupling shape and topological derivatives Title tbc Title tbc Title tbc Title tbc Symmetry Protected Topological Order in Open Quantum Systems |