糖心TV

Contact:

Walter Dean (W.H.Dean@warwick.ac.uk)
Associate Professor
Department of Philosophy
University of 糖心TV
Coventry CV4 7AL
Office:

For 2022-2023, I am on research leave as a host by the .

For terms 2 and 3 of 2020-2021 and all of 2021-2022, I was on research leave as a von Humboldt fellow at the .

Education:
PhD Computer Science (2010, ), PhD Philosophy (2007, ), MSc Logic (1999, )

Interests:
Philosophy of mathematics, mathematical and philosophical logic, theoretical computer science, history and philosophy of computation.

Mathematics and Philosophy Degree:
I am the Philosophy convenor of the . (See our events page here.) Please contact me if you have any questions about the degrees or are considering post-graduate work at 糖心TV in logic or philosophy of mathematics.

Teaching:

2020-2021

• Term 1: PH210 Logic II
• Term 2: On research leave.

2021-2022

• On research leave.

2022-2023

• On research leave.

Upcoming and recent talks:

• "Mathematical difficulty, SAT solvers, and bounded arithmetic" (with Alberto Naibo), , Aussois, 4-7 September 2022.
• "On abstraction principles for algorithms", 27 June-1 July 2022, Ch芒teau de Goutelas , Marcoux.
• "On the indispensability of mathematics to philosophy", Reverse Mathematics and its Philosophy, University of Chicago Center in Paris, 13–17 June 2022.
• "Arithmetical forcing and internal categoricity" workshop on internal categoricity, Helsinki 23-25 May 2022.
• "Strict finitism, feasible arithmetics, and nonstandard models", , Paris 7 (SPHERE), 5 May 2022.
• "On geometric consistency from the finitary standpoint", , University of Vienna, 13-15 January 2022.
• "Algorithms and Ontology", Lyon 3 22-24 November, , Paris 1 (IHPST), December 10-11 2-21.
• "Machine intelligence and intrinsic mathematical difficulty" (with Alberto Naibo, Paris 1), , Universit茅 Cote d'Azur Nice, 7-9 October 2022 and 15 November 2022.
• "Informal rigour and the origins of forcing", 19-20 November, 2021 MCMP and
  , 1 July 2021.
• "A Royal Road to Incompleteness?", , Paris 7, 9 June 2021.
• "The Liar and the Sorites: Towards a unified arithmetical treatment", , 22 March 2021.
• "On the methodology of informal rigour: Set theory, semantics, and intuitionism" (with Hidenori Kurokawa), .
• "On consistency and existence in mathematics", Notre Dame, and.