Paris, Jeff
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] .
Publikationer
- An Indefinite Companion to Reasoning : A Mathematical Perspective, Cambridge University Press, 1994, ISBN 0-521-46089-1 .
Litteratur
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. (ubestemt)
- ↑ 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. (ubestemt)
- ↑ 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. (ubestemt)
Links
Tematiske steder |
|
---|
I bibliografiske kataloger |
---|
|
|