Philip David Welch (born 6 January 1954) is a British mathematician known for his contributions to

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

and

set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...

. He is Professor of Pure Mathematics at the School of Mathematics,

University of Bristol , mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'') , established = 1595 – Merchant Venturers School1876 – University College, Bristol1909 – received royal charter , type ...

. He is currently President of the British Logic Colloquium (2017), Vice-President of the European Set Theory Society (2018), and the Coordinating Editor of the ''

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zentra ...

'' (2016).

Biography

Welch attended

Lancing College Lancing College is a public school (English independent day and boarding school for pupils aged 13–18) in southern England, UK. The school is located in West Sussex, east of Worthing near the village of Lancing, on the south coast of England. ...

. After obtaining a BSc in mathematics from

University College London , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = ...

in 1975, he attended Exeter College at the

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

, taking an MSc in mathematical logic in 1976 and his

DPhil A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...

in 1979, under the supervision of

Robin Gandy Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician. He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge, where ...

. His dissertation was entitled ''Combinatorial Principles in the Core Model''. He worked as an assistant at the Seminar für Logik at the

University of Bonn The Rhenish Friedrich Wilhelm University of Bonn (german: Rheinische Friedrich-Wilhelms-Universität Bonn) is a public research university located in Bonn, North Rhine-Westphalia, Germany. It was founded in its present form as the ( en, Rhine U ...

from 1980 to 1981, then as an SERC Research Fellow at Wolfson College, Oxford, from 1981 until 1983. Following a Royal Society European Research Fellowship at the

, and the

Free University of Berlin The Free University of Berlin (, often abbreviated as FU Berlin or simply FU) is a public research university in Berlin, Germany. It is consistently ranked among Germany's best universities, with particular strengths in political science and t ...

(1984), he held a position as an assistant professor at

UCLA The University of California, Los Angeles (UCLA) is a public land-grant research university in Los Angeles, California. UCLA's academic roots were established in 1881 as a teachers college then known as the southern branch of the California St ...

until 1986. In 1997 he left Bristol in order to set up a research group in set theory at the Graduate School of Science and Technology at

Kobe University , also known in the Kansai region as , is a leading Japanese national university located in the city of Kobe, in Hyōgo Prefecture, Hyōgo. It was established in 1949, but the academic origins of Kobe University trace back to the establishment of ...

, Japan. He subsequently held a Guest Professorship at the Kurt Gödel Research Center at the

University of Vienna The University of Vienna (german: Universität Wien) is a public research university located in Vienna, Austria. It was founded by Duke Rudolph IV in 1365 and is the oldest university in the German-speaking world. With its long and rich histor ...

(2000–2001) and a Mercator Professorship at the University of Bonn (2001) before returning to Bristol in 2002. He was appointed as a Professor there in 2004. Apart from research articles he is co-author with Aaron Beller and

Ronald Jensen Ronald Björn Jensen (born April 1, 1936) is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory. Career Jensen completed a BA in economics at American University in 1959, and a Ph.D. ...

of ''Coding the Universe''.

References

External links

*
Home page of Philip Welch
at Bristol {{DEFAULTSORT:Welch, Philip 1954 births Living people Alumni of University College London Alumni of Exeter College, Oxford 20th-century English mathematicians 21st-century English mathematicians Academics of the University of Bristol University of California, Los Angeles faculty 20th-century British philosophers 21st-century British philosophers