Jeff Paris

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For the musician, see Jeff Paris (musician).
Jeff Paris
Jeffrey Paris.jpeg
Jeff Paris in Berkeley, California
Native name Jeffrey Bruce Paris
Born (1944-11-15) 15 November 1944 (age 71)[1]
Fields Mathematical logic
Institutions University of Manchester
Alma mater University of Manchester
Thesis Large Cardinals and the Generalized Continuum Hypothesis (1969)
Doctoral advisor Robin Gandy[2]
Doctoral students
  • Richard Booth
  • Costas Dimitracopoulos
  • Lee Hill
  • Marcus Hill
  • Hykel Hosni[3]
  • Richard Kaye
  • Laurie Kirby
  • Malte Kließ[4]
  • Kevin Knight
  • Ian Maung
  • Chris Nix
  • Soroush Rafiee Rad[2]
Known for
Notable awards Whitehead Prize (1983)
FBA (1999)

Jeffrey Bruce Paris (/ˈpærɪs/; born 15 November 1944) is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester.[5][6][7][8][9][10]


Paris gained his doctorate under Robin Gandy at Manchester in 1969 with a dissertation entitled Large Cardinals and the Generalized Continuum Hypothesis.


Paris 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.

Awards and honours[edit]

Paris was elected Fellow of the British Academy in 1999.[1][11]


  1. ^ a b "PARIS, Prof. Jeffrey Bruce". Who's Who 2014, A & C Black, an imprint of Bloomsbury Publishing plc, 2014; online edn, Oxford University Press. (subscription required)
  2. ^ a b Jeff Paris at the Mathematics Genealogy Project
  3. ^ Hosni, H.; Paris, J. (2006). "Rationality as Conformity". Uncertainty, Rationality, and Agency. p. 79. doi:10.1007/1-4020-4631-6_3. ISBN 1-4020-4630-8. 
  4. ^ Kließ, Malte Sebastian (2014). The Principle of Predicate Exchangeability in Pure Inductive Logic (PDF) (PhD thesis). University of Manchester. 
  5. ^ Paris, J. and Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In Handbook of Mathematical Logic (ed. J. Barwise), pp. 1133–1142. Amsterdam, Netherlands: North-Holland, 1977.
  6. ^ Kirby, L.; Paris, J. (1982). "Accessible Independence Results for Peano Arithmetic" (PDF). Bulletin of the London Mathematical Society. 14 (4): 285. doi:10.1112/blms/14.4.285. 
  7. ^ Paris J.B.: The uncertain reasoner's companion: a mathematical perspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0-521-46089-1
  8. ^ Paris, J. B.; Kirby, L. A. S. (1978). "∑n-Collection Schemas in Arithmetic". Logic Colloquium '77. Studies in Logic and the Foundations of Mathematics. 96. p. 199. doi:10.1016/S0049-237X(08)72003-2. ISBN 9780444851789. 
  9. ^ Jeff Paris's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
  10. ^ List of publications from Microsoft Academic Search
  11. ^ "Elections to Ordinary Fellowship". Archived from the original on October 23, 2007. Retrieved May 17, 2007.