| Jeff Paris | |
| Birth Name: | Jeffrey Bruce Paris |
| Birth Date: | 1944 11, df=y |
| Fields: | Mathematical logic |
| Workplaces: | University of Manchester |
| Alma Mater: | University of Manchester |
| Thesis Title: | Large Cardinals and the Generalized Continuum Hypothesis |
| Thesis Year: | 1969 |
| Doctoral Advisor: | Robin Gandy |
| Awards: | Whitehead Prize (1983) |
| Children: | 6, including Jasmin |
Jeffrey Bruce Paris (born 15 November 1944) is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester.[1] [2] [3]
Paris gained his doctorate supervised by Robin Gandy at Manchester in 1969 with a dissertation on Large Cardinals and the Generalized Continuum Hypothesis.
Paris is known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles.
The Paris-Harrington theorem[4] is a natural Ramsey-theoretic statement which is expressible in Peano arithmetic, but is not provable within this system, an illustration of Gödel's first incompleteness theorem.
Paris was awarded the Whitehead Prize in 1983 and elected a Fellow of the British Academy (FBA) in 1999.[5]
Paris was married to Malvyn Loraine Blackburn until 1983 when he married Alena Vencovská. He has three sons and three daughters including runner Jasmin Paris.