Jeff Paris
For the musician, see Jeff Paris (musician).
Jeff Paris | |
---|---|
Jeff Paris in Berkeley, California | |
Native name | Jeffrey Bruce Paris |
Born | [1] | 15 November 1944
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 | |
Known for | |
Notable awards |
Whitehead Prize (1983) FBA (1999) |
Website www |
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]
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 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.
Awards and honours
Paris was elected Fellow of the British Academy in 1999.[1][11]
References
- 1 2 "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)
- 1 2 Jeff Paris at the Mathematics Genealogy Project
- ↑ 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.
- ↑ Kließ, Malte Sebastian (2014). The Principle of Predicate Exchangeability in Pure Inductive Logic (PDF) (PhD thesis). University of Manchester.
- ↑ 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.
- ↑ 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.
- ↑ 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. 96. p. 199. doi:10.1016/S0049-237X(08)72003-2. ISBN 9780444851789.
- ↑ Jeff Paris's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
- ↑ List of publications from Microsoft Academic Search
- ↑ "Elections to Ordinary Fellowship". Archived from the original on October 23, 2007. Retrieved May 17, 2007.
This article is issued from Wikipedia - version of the 11/19/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.