Jeff Paris

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Jeff Paris
File:Jeffrey Paris.jpeg
Jeff Paris in Berkeley, California
Native name Jeffrey Bruce Paris
Born (1944-11-15) 15 November 1944 (age 79)[1]
Fields Mathematical logic
Institutions University of Manchester
Thesis Large Cardinals and the Generalized Continuum Hypothesis (1969)
Doctoral advisor Robin Gandy[2]
Doctoral students <templatestyles src="Plainlist/styles.css"/>
  • Richard Booth
  • Costas Dimitracopoulos
  • Lee Hill
  • Marcus Hill
  • Hykel Hosni[3]
  • Richard Kaye
  • Malte Kließ[4]
  • Kevin Knight
  • Ian Maung
  • Chris Nix
  • Soroush Rafiee Rad[2]
Known for <templatestyles src="Plainlist/styles.css"/>
Notable awards Whitehead Prize (1983)
FBA (1999)
Website
www.maths.manchester.ac.uk/~jeff

Jeffrey Bruce Paris (/ˈpærɪs/; born 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]

Education

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

Research

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

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

References

  1. 1.0 1.1 Lua error in package.lua at line 80: module 'strict' not found.(subscription required)
  2. 2.0 2.1 Jeff Paris at the Mathematics Genealogy Project
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  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. Lua error in package.lua at line 80: module 'strict' not found.
  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. Lua error in package.lua at line 80: module 'strict' not found.
  9. Jeff Paris's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  10. List of publications from Microsoft Academic Search
  11. http://www.britac.ac.uk/pubs/review/01-9899/05-fellowship.html[dead link]


<templatestyles src="Asbox/styles.css"></templatestyles>