| Personal details |
| Name |
Professor Philip
Welch |
| Job title |
Professor of Pure Mathematics
|
| Department |
School of Mathematics University of Bristol
|
| Work contact details |
|
| Qualifications |
BSc(Lond), MSc, DPhil(Oxon) |
| Professional details |
| Membership of professional bodies |
London Mathematical Society Association for Symbolic Logic
|
| Keywords |
axiomatic set theory
mathematical logic
set theory
mathematical philosophy
models of computation
|
| Areas of expertise |
Axiomatic Set Theory: strong axioms of infinity & large cardinals; interactions with the determinacy assumptions on infinite perfect information games; singular cardinal combinatorics. Applications of mathematical logic and set theory to: philosophical logic (theories of truth; possible world semantics; mathematical philosophy and philosophy of science) and to: the theory of generalised inductive definitions; models of computation.
|
| Languages (other than English) |
|
| Media experience |
Radio & TV interview.
|