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 demostrabilidad en aritmética, razonamiento incierto y lógica inductiva con énfasis en la racionalidad y los principios de sentido común.
El teorema de Paris-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
París recibió el Premio Whitehead en 1983 y fue elegido miembro de la Academia Británica (FBA) en 1999. [2] [8]
Vida personal
Paris estuvo casada con Malvyn Loraine Blackburn hasta 1983, cuando se casó con Alena Vencovská. Tiene tres hijos y tres hijas, incluida la corredora Jasmin Paris . [2]
Referencias
- ^ ab Jeff Paris en el Proyecto de Genealogía de Matemáticas
- ^ abc Anón (2007). "París, profesor Jeffrey Bruce" . Quién es quién (edición en línea de Oxford University Press ). Oxford: A y C negro. doi :10.1093/ww/9780199540884.013.U30030. (Se requiere suscripción o membresía en la biblioteca pública del Reino Unido).
- ^ Kirby, L.; París, 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
- ^ París, 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 por la base de datos bibliográfica Scopus . (requiere suscripción)
- ^ París, Jeff; Harrington, Leo (1977). "Una incompletitud matemática en la aritmética de Peano". En Barwise, Jon; Keisler, H. Jerome (eds.). Manual de lógica matemática . Ámsterdam; Nueva York: Holanda Septentrional. págs. 1133-1142. ISBN 978-0-7204-2285-6.
- ^ "Elecciones para la beca ordinaria". Archivado desde el original el 23 de octubre de 2007 . Consultado el 17 de mayo de 2007 .
