- Jeff Paris
Jeff B. Paris is a British mathematician known for his work on
mathematical logic , in particular provability in arithmetic, uncertain reasoning andinductive logic with an emphasis on rationality and common sense principles.He is professor of logic at the University of Manchester and was elected Fellow of the
British Academy in1999 . [http://www.britac.ac.uk/pubs/review/01-9899/05-fellowship.html]He gained his doctorate under
Robin Gandy at Manchester in1969 with a dissertation entitled "Large Cardinals and the Generalized Continuum Hypothesis".References
*Paris, J. and Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In "Handbook for Mathematical Logic" (ed. J. Barwise), pp. 1133–1142. Amsterdam, Netherlands: North-Holland, 1977.
*Kirby, L. and Paris, J.: Accessible independence results for Peano Arithmetic. "Bull. London Math. Soc." 14, 285–293, 1982.
*Paris J.B.: "The uncertain reasoner's companion: a mathematical perspective", Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0521460891ee also
*
Paris–Harrington theorem External links
* [http://www.maths.manchester.ac.uk/~jeff/ Jeff Paris' home page at the University of Manchester]
*MathGenealogy |id=59312
*
Wikimedia Foundation. 2010.