Jeff Paris (mathematician)

Jeff Paris
FBA
Jeff Paris FBA
	Paris in 1974
Born	Jeffrey Bruce Paris; 15 November 1944 (age 80)
Alma mater	University of Manchester
Known for	Paris–Harrington theorem; Kirby–Paris theorem;
Children	6, including Jasmin
Awards	Whitehead Prize (1983)
	Scientific career
Fields	Mathematical logic
Institutions	University of Manchester
Thesis	Large Cardinals and the Generalized Continuum Hypothesis (1969)
Doctoral advisor	Robin Gandy
Website	oldwww.ma.man.ac.uk/~jeff/

Jeffrey Bruce Paris FBA (born 15 November 1944) is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester.^[3]^[4]^[5]^[6]

Education

Paris gained his doctorate supervised by Robin Gandy at Manchester in 1969 with a dissertation on Large Cardinals and the Generalized Continuum Hypothesis.^[1]

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^[7] 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.

Awards and honours

Paris was awarded the Whitehead Prize in 1983 and elected a Fellow of the British Academy (FBA) in 1999.^[2]^[8]

Personal life

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.^[2]

References

^ ^a ^b Jeff Paris at the Mathematics Genealogy Project
^ ^a ^b ^c Anon (2007). "Paris, Prof. Jeffrey Bruce". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U30030. (Subscription or UK public library membership required.)
^ Kirby, L.; Paris, J. (1982). "Accessible Independence Results for Peano Arithmetic" (PDF). Bulletin of the London Mathematical Society. 14 (4): 285. CiteSeerX 10.1.1.107.3303. doi:10.1112/blms/14.4.285.
^ 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
^ Paris, J. B.; Kirby, L. A. S. (1978). "Σn-Collection Schemas in Arithmetic". Logic Colloquium '77. Studies in Logic and the Foundations of Mathematics. Vol. 96. p. 199. doi:10.1016/S0049-237X(08)72003-2. ISBN 9780444851789.
^ Jeff Paris publications indexed by the Scopus bibliographic database. (subscription required)
^ Paris, Jeff; Harrington, Leo (1977). "A mathematical incompleteness in Peano Arithmetic". In Barwise, Jon; Keisler, H. Jerome (eds.). Handbook of Mathematical Logic. Amsterdam; New York: North-Holland. pp. 1133–1142. ISBN 978-0-7204-2285-6.
^ "Elections to Ordinary Fellowship". Archived from the original on 23 October 2007. Retrieved 17 May 2007.

This article about a United Kingdom mathematician is a stub. You can help Wikipedia by expanding it.

[mathgene-1] Jeff Paris at the Mathematics Genealogy Project

[whoswho-2] Anon (2007). "Paris, Prof. Jeffrey Bruce". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U30030. (Subscription or UK public library membership required.)

[3] Kirby, L.; Paris, J. (1982). "Accessible Independence Results for Peano Arithmetic" (PDF). Bulletin of the London Mathematical Society. 14 (4): 285. CiteSeerX 10.1.1.107.3303. doi:10.1112/blms/14.4.285.

[4] 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

[5] Paris, J. B.; Kirby, L. A. S. (1978). "Σn-Collection Schemas in Arithmetic". Logic Colloquium '77. Studies in Logic and the Foundations of Mathematics. Vol. 96. p. 199. doi:10.1016/S0049-237X(08)72003-2. ISBN 9780444851789.

[scopus-6] Jeff Paris publications indexed by the Scopus bibliographic database. (subscription required)

[Paris_Harrington_1977-7] Paris, Jeff; Harrington, Leo (1977). "A mathematical incompleteness in Peano Arithmetic". In Barwise, Jon; Keisler, H. Jerome (eds.). Handbook of Mathematical Logic. Amsterdam; New York: North-Holland. pp. 1133–1142. ISBN 978-0-7204-2285-6.

[8] "Elections to Ordinary Fellowship". Archived from the original on 23 October 2007. Retrieved 17 May 2007.

[2]

[1]

[3]

[4]

[5]

[6]

[7]

[8]