Jeff Paris
Jeff Paris | |
---|---|
Jeff Paris in Berkeley, California | |
Native name | Jeffrey Bruce Paris |
Born | [1] | 15 November 1944
Fields | Mathematical logic |
Institutions | 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 1944) is British a 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.0 1.1 "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.0 2.1 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.
- ↑ List of publications from Microsoft Academic Search
- ↑ http://www.britac.ac.uk/pubs/review/01-9899/05-fellowship.html[]