Philip Welch

Philip Welch
Professor of Mathematical Logic,
Office: Howard House 2.11.
Tel. +44 117 33 11807
FAX: +44 117 928 7999
E-mail address: P.Welch@bristol.ac.uk
School of Mathematics, University of Bristol,
Clifton, Bristol, BS8 1TW, UK

For VIEG-2018 Bristol: click here

For FSB: Foundational Studies Bristol: here

For Set Theoretical Pluralism Symposium, Bristol, June 20-25, 2017: click here

For Bristol Celebratory Birthday Conference March 22-23rd 2014: click here
For the British Logic Colloquium click here

Research interests

· Set theory: fine structure and core models; problems concerning determinancy, large cardinals and strong axioms of infinity.
· Philosophy of Mathematics, Foundations of Set Theory, Theories of Truth.
· Models of computation.

Research projects

· Logical Methods in Epistemology, Semantics, & Philosophy of Mathematics. Funded by the British Academy.

· Interactions between combinatorics of stationary sets, bounded forcing axioms and inner models of set theory Funded by EPSRC. Oct.03 - Sep.05

· Mathematics into Philosophy: analysing complexity theoretic issues in current philosophical theories of epistemology, semantics and truth Funded by EPSRC. From October 6'th 2005 to Oct. 2006.

· Philosophical Theories of Truth, Transfinite Computation, and Infinite Games Funded by the Templeton Foundation. From Oct. 2008 to Sep. 2010.

· The Scope and Limits of Arithmetical Knowledge Funded by the Templeton Foundation. From Mar. 2011 to Sep. 2012.

· Inexpressibility and Reflection in the Formal Sciences Funded by AHRC; Co-investigator on project at Department of Philosophy, University of Oxford; From Oct. 2011 to Dec. 2013.

· Inner model theory in outer models, funded by EPSRC. From Mar.2012 to Oct.2014.

Publications

Lectures

· In celebration of Ada Lovelace Day, Bristol, Oct. 2014 Ada Lovelace and the logic of the analytical engine

· Chiemsee Conference Tutorials on Semantical Theories of Truth, July 2014 Semantical Approaches to Truth I & II

· Fourth European Set Theory Meeting, Barcelona, September 2013 A condensed history of condensation

· Foundations of Mathematics Conference, Cambridge, July 2012 Conceptualism: sets and absolute infinities

· Invited Lecture for the 6'th European Congress of Mathematicians, Krakow, July 2012 A Turing Centenary lecture

· EFI, Harvard Feb.2012 Global Reflection Principles

· Birkbeck Conference Tutorials on Large Cardinals, Inner Models & Determinacy: an introductory overview, Aug.2011 Tut.I Tut.II Tut.III , paper

· For the "Author meets his Critics'' panel discussion at the A.P.A., New York, Dec.2009, On Field's ``Saving Truth from Paradox'' (slides), paper

Video: Higher Types of Recursion and Low Levels of Determinacy Logical Perspectives 2018, Euler Institute, St Petersburg, May 15th, 2018.

Video: Exploring the Frontiers of Infinity Harvard Feb. 2012.

Video: Proving Theorems from Reflection FOMUS meeting on Foundations of Mathematics - how Reflection principles can justify the strong axioms of infinity that can settle problems in analysis. Bielefeld 2016

Radio: Gödel and the Incompleteness Theorems BBC Radio 4 ``In our Time'' series.

Teaching

According to WebCounter you are the visitor to this page since 6.7.06.

[an error occurred while processing this directive]