Jeff Paris (mathematician)
Jeffrey Bruce Paris is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester.
Education
Paris gained his doctorate supervised by Robin Gandy at Manchester in 1969 with a dissertation on Large Cardinals and the Generalized Continuum Hypothesis.Research and career
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 is a natural Ramsey-theoretic statement that is expressible in Peano arithmetic, but is not provable within this system, an illustration of Gödel's first incompleteness theorem.