Jump to content

Philip Welch: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
category removed
Fm. Cleanup. | Cleaned up using AutoEd
Line 2: Line 2:
| name = Philip Welch
| name = Philip Welch
|birth_name = Philip David Welch
|birth_name = Philip David Welch
|image =
|image =
|caption =
|caption =
|birth_date = {{Birth year and age|1954}}
|birth_date = {{Birth year and age|1954}}
|birth_place = [[Newport]], [[England]]
|birth_place = [[Newport]], [[England]]
|residence = [[United Kingdom]]
|residence = [[United Kingdom]]
|nationality = [[United Kingdom|British]]
|nationality = [[United Kingdom|British]]
|field = [[Mathematics]], [[Mathematical Logic]], [[Philosophy]]
|field = [[Mathematics]], [[Mathematical Logic]], [[Philosophy]]
Line 13: Line 13:
|doctoral_advisor = [[Robin Gandy]]
|doctoral_advisor = [[Robin Gandy]]
|known_for =
|known_for =
|doctoral_students =
|doctoral_students =
|prizes = [[Inamori Foundation]] Young Researcher’s Prize 1998
|prizes = [[Inamori Foundation]] Young Researcher’s Prize 1998
}}
}}


'''Philip David Welch''' (born 6 January 1954 in [[Newport, Hampshire]]) is a [[United Kingdom|British]] [[mathematician]] known for his contributions to [[mathematical logic|logic]] and [[set theory]]. He is Professor of Pure Mathematics at the School of Mathematics, [[University of Bristol|University of Bristol]].<ref>{{cite web|url=http://www.bristol.ac.uk/maths/people/philip-d-welch/overview.html|title=Research profile of Philip Welch at University of Bristol|publisher=}}</ref><ref>{{cite web|url=https://www.people.maths.bris.ac.uk/~mapdw/|title=Philip Welch|website=www.people.maths.bris.ac.uk}}</ref><ref name=mathgene>{{MathGenealogy |id=36389}}</ref>. 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]] (2016).
'''Philip David Welch''' (born 6 January 1954 in [[Newport, Hampshire]]) is a [[United Kingdom|British]] [[mathematician]] known for his contributions to [[mathematical logic|logic]] and [[set theory]]. He is Professor of Pure Mathematics at the School of Mathematics, [[University of Bristol]].<ref>{{cite web|url=http://www.bristol.ac.uk/maths/people/philip-d-welch/overview.html|title=Research profile of Philip Welch at University of Bristol|publisher=}}</ref><ref>{{cite web|url=https://www.people.maths.bris.ac.uk/~mapdw/|title=Philip Welch|website=www.people.maths.bris.ac.uk}}</ref><ref name=mathgene>{{MathGenealogy |id=36389}}</ref>. 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]] (2016).


==Biography==
==Biography==
Philip Welch attended [[Lancing College]]. After obtaining a BSc in mathematics from [[University College London]] in 1975, he attended [[Exeter College]] at the [[University of Oxford]], taking an MSc in mathematical logic in 1976 and his [[Doctor of Philosophy|DPhil]] in 1979, under the supervision of [[Robin Gandy]]. His dissertation was entitled ''Combinatorial Principles in the Core Model''.
Philip Welch attended [[Lancing College]]. After obtaining a BSc in mathematics from [[University College London]] in 1975, he attended [[Exeter College]] at the [[University of Oxford]], taking an MSc in mathematical logic in 1976 and his [[Doctor of Philosophy|DPhil]] in 1979, under the supervision of [[Robin Gandy]]. 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]] 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 [[University of Bonn]], and the [[Free University of Berlin]] (1984), he held a position as an Assistant Professor at [[UCLA]] 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]], Japan. He subsequently held a Guest Professorship at the Kurt Gödel Research Center at the [[University of Vienna]] (2000-2001) and a Mercator Professorship at the University of Bonn (2001) before returning to Bristol in 2002. He was appointed there as a Professor in 2004. Apart from research articles he is co-author with Aaron Beller and [[Ronald Jensen]]
He worked as an assistant at the Seminar für Logik at the [[University of Bonn]] 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 [[University of Bonn]], and the [[Free University of Berlin]] (1984), he held a position as an Assistant Professor at [[UCLA]] 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]], Japan. He subsequently held a Guest Professorship at the Kurt Gödel Research Center at the [[University of Vienna]] (2000-2001) and a Mercator Professorship at the University of Bonn (2001) before returning to Bristol in 2002. He was appointed there as a Professor in 2004. Apart from research articles he is co-author with Aaron Beller and [[Ronald Jensen]]
of <I>Coding the Universe</I><ref>{{cite web|url=http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/coding-universe?format=PB#kzS6BLaFm2JhuO3W.97|title=Coding universe - Logic, categories and sets|website=Cambridge University Press}}</ref>
of ''Coding the Universe''<ref>{{cite web|url=http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/coding-universe?format=PB#kzS6BLaFm2JhuO3W.97|title=Coding universe - Logic, categories and sets|website=Cambridge University Press}}</ref>


==Notes==
==Notes==
{{reflist|35em}}
{{reflist|30em}}

⚫
==External Links==

⚫
*{{cite book|last = Welch|title = Coding the Universe|first = Philip D with A. Beller, R.B. Jensen|publisher = Cambridge University Press|date = 1982|isbn = 9780521280402|url = http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/coding-universe?format=PB#kzS6BLaFm2JhuO3W.97}}


⚫
==External links==
⚫
* {{cite book|last = Welch|title = Coding the Universe|first = Philip D with A. Beller, R.B. Jensen|publisher = Cambridge University Press|date = 1982|isbn = 9780521280402|url = http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/coding-universe?format=PB#kzS6BLaFm2JhuO3W.97}}
* [https://www.people.maths.bris.ac.uk/~mapdw/ Home page of Philip Welch] at Bristol
* [https://www.people.maths.bris.ac.uk/~mapdw/ Home page of Philip Welch] at Bristol
⚫
* {{MathGenealogy|id=36389}}

⚫
*{{MathGenealogy|id=36389}}


{{authority control}}
{{authority control}}
Line 57: Line 54:
[[Category:21st-century British philosophers]]
[[Category:21st-century British philosophers]]


== References ==
{{reflist}}
{{DEFAULTSORT:Welch, Philip}}
{{DEFAULTSORT:Welch, Philip}}
[[Category:1954 births]]
[[Category:1954 births]]

Revision as of 11:06, 1 June 2018

Philip Welch
Born
Philip David Welch

1954 (age 69–70)
Newport, England
NationalityBritish
Alma materUniversity College London
University of Oxford
AwardsInamori Foundation Young Researcher’s Prize 1998
Scientific career
FieldsMathematics, Mathematical Logic, Philosophy
InstitutionsUniversity of Bristol, UCLA, Kobe University
Doctoral advisorRobin Gandy

Philip David Welch (born 6 January 1954 in Newport, Hampshire) is a British mathematician known for his contributions to logic and set theory. He is Professor of Pure Mathematics at the School of Mathematics, University of Bristol.[1][2][3]. 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 (2016).

Biography

Philip Welch attended Lancing College. After obtaining a BSc in mathematics from University College London in 1975, he attended Exeter College at the University of Oxford, taking an MSc in mathematical logic in 1976 and his DPhil in 1979, under the supervision of Robin Gandy. 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 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 University of Bonn, and the Free University of Berlin (1984), he held a position as an Assistant Professor at UCLA 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, Japan. He subsequently held a Guest Professorship at the Kurt Gödel Research Center at the University of Vienna (2000-2001) and a Mercator Professorship at the University of Bonn (2001) before returning to Bristol in 2002. He was appointed there as a Professor in 2004. Apart from research articles he is co-author with Aaron Beller and Ronald Jensen of Coding the Universe[4]

Notes

  1. ^ "Research profile of Philip Welch at University of Bristol".
  2. ^ "Philip Welch". www.people.maths.bris.ac.uk.
  3. ^ Philip Welch at the Mathematics Genealogy Project
  4. ^ "Coding universe - Logic, categories and sets". Cambridge University Press.
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Philip_Welch&oldid=843920305"