Matemático británico (nacido en 1944)
Jeffrey Bruce Paris FBA (nacido el 15 de noviembre de 1944) es un matemático británico y profesor de lógica en la Escuela de Matemáticas de la Universidad de Manchester . [3] [4] [5] [6]
Educación
Paris obtuvo su doctorado supervisado por Robin Gandy en Manchester en 1969 con una disertación sobre los grandes cardenales y la hipótesis del continuo generalizado . [1]
Investigación y carrera
Paris es conocido por su trabajo sobre lógica matemática , en particular sobre demostrabilidad en aritmética, razonamiento incierto y lógica inductiva con énfasis en la racionalidad y los principios del sentido común.
El teorema de París-Harrington [7] es un enunciado natural de la teoría de Ramsey que se puede expresar en la aritmética de Peano , pero no se puede demostrar dentro de este sistema, una ilustración del primer teorema de incompletitud de Gödel .
Premios y honores
Paris recibió el Premio Whitehead en 1983 y fue elegido miembro de la Academia Británica (FBA) en 1999. [2] [8]
Vida personal
Paris estuvo casado con Malvyn Loraine Blackburn hasta 1983, cuando se casó con Alena Vencovská. Tiene tres hijos y tres hijas, entre ellas la corredora Jasmin Paris . [2]
Referencias
- ^ de Jeff Paris en el Proyecto de Genealogía Matemática
- ^ abc Anónimo (2007). "París, profesor Jeffrey Bruce" . Quién es quién (edición en línea de Oxford University Press ). Oxford: A & C Black. doi :10.1093/ww/9780199540884.013.U30030. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
- ^ Kirby, L.; Paris, J. (1982). "Resultados de independencia accesibles para la aritmética de Peano" (PDF) . Boletín de la Sociedad Matemática de Londres . 14 (4): 285. CiteSeerX 10.1.1.107.3303 . doi :10.1112/blms/14.4.285.
- ^ Paris JB: El compañero del razonador incierto: una perspectiva matemática , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0-521-46089-1
- ^ Paris, JB; Kirby, LAS (1978). "Esquemas de colección Σn en aritmética". Coloquio de lógica '77 . Estudios de lógica y fundamentos de las matemáticas. Vol. 96. pág. 199. doi :10.1016/S0049-237X(08)72003-2. ISBN 9780444851789.
- ^ Publicaciones de Jeff Paris indexadas en la base de datos bibliográfica Scopus . (requiere suscripción)
- ^ Paris, Jeff; Harrington, Leo (1977). "Una incompletitud matemática en la aritmética de Peano". En Barwise, Jon; Keisler, H. Jerome (eds.). Handbook of Mathematical Logic . Ámsterdam; Nueva York: North-Holland. págs. 1133–1142. ISBN 978-0-7204-2285-6.
- ^ "Elecciones a la membresía ordinaria". Archivado desde el original el 23 de octubre de 2007. Consultado el 17 de mayo de 2007 .
