Jeff Paris
Jeff Paris
Jeff Paris i Berkeley
| Fødsel | 15. november 1944 |
|---|---|
| Navn på morsmål | Jeffrey Bruce Paris |
| Nasjonalitet | Britisk |
| Opplæring |
University of Manchester Victoria University of Manchester |
| Aktiviteter | Matematiker , universitetsprofessor |
| Barn | Jasmine Paris |
| Jobbet for | Manchester University |
|---|---|
| Felt | Matematisk logikk |
| Medlem av | British Academy |
| Veileder | Robin Gandy |
| Nettsted | www.maths.manchester.ac.uk/~jeff |
| Utmerkelser |
Medlem av British Academy Whitehead Prize (1983) |
Jeffrey Bruce Paris (f. 1944 ) er en britisk matematiker kjent for sitt arbeid innen logikk , særlig ubesluttsomheten i Peano-aritmetikk, usikker resonnement og induktiv logikk , med særlig oppmerksomhet mot prinsippene om rasjonalitet og sunn fornuft.
Biografi
Han tilbrakte doktorgraden sin med Robin Gandy i Manchester i 1969 for å forsvare en avhandling med tittelen Large Cardinals and the Generalized Continuum Hypothesis .
Han er professor i logikk ved University of Manchester og ble valgt til stipendiat i British Academy i 1999.
I samarbeid med Leo Harrington demonstrerte han i 1977 den såkalte Paris-Harrington-teoremet i dag, som gir det første eksemplet på en "naturlig" uttalelse som kan uttrykkes i første orden, "sann", men ikke påviselig i aritmetikken til Peano ( første ordens regning). Den ufullstendighet teoremet Gödel utstillinger slik uttalelse til aritmetiske av den første bestillingen, men bruker provability gjennom aritmetisk koding, mens uttalelse av Paris og Harrington er mer "naturlig" i den forstand er ikke metamathematic som Gödel-tallet. I dette tilfellet er det et resultat av kombinatorikk, en (sterkere) variant av det endelige Ramsey-teoremet , som er bevist (for eksempel) i mengdeori .
I samarbeid med Laurence Kirby demonstrerte Jeff Paris også i 1982 at Goodsteins teorem , et ganske enkelt resultat av tallteori, også er uavhengig av Peanos regning.
Utmerkelser
Whitehead Award (1983)
Merknader og referanser
(fr) Denne artikkelen er delvis eller helt hentet fra Wikipedia-artikkelen på engelsk med tittelen " Jeff Paris " ( se listen over forfattere ) .- British Academy Fellows .
- Gödels ufullstendighetssetning er mer generelt, det gjelder for eksempel alle teorier som utvider Peanos aritmetikk.
Bibliografi
- J. Paris og L. Harrington, “A mathematical incompleteness in Peano Arithmetic”, Handbook for Mathematical Logic (red. Jon Barwise ), Amsterdam, Nederland: Nord-Holland, 1977, s. 1133-1142.
- L. Kirby og J. Paris, " Tilgjengelige uavhengighetsresultater for Peano-aritmetikk ", Bulletin London Mathematical Society , vol. 14, 1982, s. 285-293.
- JB Paris, den usikre resonnentens følgesvenn: et matematisk perspektiv , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994 ( ISBN 0521460891 )
Se også
Relaterte artikler
- Paris-Harrington-teorem (i)
- Teori for Kirby-Paris