Paris, Jeff
| Geoffrey Bruce Paris | |
|---|---|
| engelsk Jeffrey Bruce Paris | |
| Navn ved fødslen | Geoffrey Bruce Paris |
| Fødselsdato | 15. november 1944 (77 år) |
| Land | |
| Videnskabelig sfære | matematisk logik |
| Arbejdsplads | |
| Alma Mater | |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber |
| videnskabelig rådgiver | Robin Gandy |
| Kendt som | grundlægger af Paris-Harrington og Goodstein teoremer |
| Priser og præmier |
Whitehead Award (1983) FBA (1999) |
| Internet side | maths.manchester.ac.uk/~… |
| Mediefiler på Wikimedia Commons | |
Geoffrey (Jeff) Bruce Paris (født 15. november 1944 , Storbritannien ) [2] er en britisk matematiker, underviser ved University of Manchester [3] [4] [5] [6] [7] [8] [9] .
Biografi og videnskabelig aktivitet
På University of Manchester forsvarede Paris to ph.d.
Paris er kendt for sit arbejde med matematisk logik , og især for bevisbarhed i aritmetik, ubestemt ræsonnement og induktiv logik, med vægt på rationalitet og principperne for sund fornuft. Medforfatter til Paris-Harrington-sætningen .
Priser
Paris blev valgt ind i British Academy of Sciences i 1999 [2] [11] [12] .
- Whitehead Award (1983)
Publikationer
- An Indefinite Companion to Reasoning : A Mathematical Perspective, Cambridge University Press, 1994, ISBN 0-521-46089-1 .
Litteratur
- D. B. Paris, L. Harrington. Matematisk ufuldstændighed i Peano aritmetik. - 1977 udg. - B . : John Barvis, 1977. - T. 123. - S. 1133-1142. — 2275 s.
- L. Kirby, D. B. Paris. Tilgængelige uafhængighedsresultater for Peano Arithmetic . - 1982 udg. - B. : London Mathematical Society, 1982. - T. 14. - S. 285-293. — 578 s. Arkiveret 25. august 2011 på Wayback Machine
- D.B. Paris. A Companion to Indefinite Reasoning: A Mathematical Perspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994 . - K . : Cambridge University, 1994. - ISBN 0521460891 .
Noter
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ 1 2 Paris, Prof. Jeffrey Bruce, (født 15. nov. 1944), professor i matematik, Manchester University, 1984–2017, nu emeritus | HVEM ER HVEM & HVEM VAR HVEM (engelsk) . Arkiveret fra originalen den 20. januar 2016. Hentet 24. december 2017.
- ↑ Pars, B. J., Harrington. L: En matematisk ufuldstændighed i Peano Aritmetik. I Handbook of Mathematical Logic (red J. Barwise), pp. 1133-1142. Amsterdam, Hetherlands: Nord-Holland.
- ↑ Kirby, L.; Paris, J. Tilgængelige uafhængighedsresultater for Peano Arithmetic . Bulletin fra London Mathematical Society. (1982). Hentet 24. december 2017. Arkiveret fra originalen 16. januar 2021.
- ↑ Laurie Kirby, Jeff Paris. Tilgængelige uafhængighedsresultater for Peano Arithmetic // Bulletin of the London Mathematical Society. — 1982-07-01. — Bd. 14 , udg. 4 . - S. 285-293 . — ISSN 1469-2120 . - doi : 10.1112/blms/14.4.285 .
- ↑ Paris. BJ: The uncertain reasoner's companion: a matematical prrspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0-521-46089-1 .
- ↑ JB Paris, LAS Kirby. ∑n-samlingsskemaer i aritmetik . - S. 199-209 . — ISBN 9780444851789 . - doi : 10.1016/s0049-237x(08)72003-2 .
- ↑ [ https://www.scopus.com/authid/detail.url?authorId=14043882800 Scopus preview - Scopus - Forfatterdetaljer (Paris, Jeff Bruce) ] . www.scopus.com. Hentet: 24. december 2017.
- ↑ Wayback- maskine . web.archive.org. Hentet: 24. december 2017.
- ↑ Jeffrey Paris - The Mathematics Genealogy Project . www.genealogy.math.ndsu.nodak.edu. Hentet 24. december 2017. Arkiveret fra originalen 13. juli 2018.
- ↑ British Academy Fellows . Hentet 24. december 2017. Arkiveret fra originalen 3. marts 2016.
- ↑ British Academy Review 1998-1999 - The Fellowship (link utilgængeligt) (23. oktober 2007). Hentet 24. december 2017. Arkiveret fra originalen 23. oktober 2007.
Links
- maths.manchester.ac.uk/~jeff (engelsk) - Jeff Paris officielle hjemmeside
- Mathworld (engelsk)
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||