París, Jeff
Geoffrey (Jeff) Bruce Paris (nacido el 15 de noviembre de 1944 , Reino Unido ) [2] es un matemático británico, profesor de la Universidad de Manchester [3] [4] [5] [6] [7] [8] [9] .
Biografía y actividad científica
En la Universidad de Manchester, París defendió dos Ph.D.
Paris es conocido por su trabajo sobre lógica matemática y, en particular, por la demostrabilidad en aritmética, razonamiento indefinido y lógica inductiva, con énfasis en la racionalidad y los principios del sentido común. Coautor del teorema de Paris-Harrington .
Premios
París fue elegido miembro de la Academia Británica de Ciencias en 1999 [2] [11] [12] .
Publicaciones
- Un compañero indefinido del razonamiento : una perspectiva matemática , Cambridge University Press, 1994, ISBN 0-521-46089-1 .
Literatura
Notas
- ↑ Genealogía matemática (inglés) - 1997.
- ↑ 1 2 París, Prof. Jeffrey Bruce , (nacido el 15 de noviembre de 1944), profesor de matemáticas, Universidad de Manchester, 1984–2017, ahora emérito | QUIÉN ES QUIÉN Y QUIÉN ERA QUIÉN (Inglés) . Archivado desde el original el 20 de enero de 2016. Consultado el 24 de diciembre de 2017.
- ↑ Pars, BJ, Harrington. L: Una incompletud matemática en la Aritmética de Peano. En Handbook of Mathematical Logic (ed. J. Barwise), págs. 1133-1142. Ámsterdam, Países Bajos: Holanda Septentrional.
- ↑ Kirby, L.; París, J. Resultados accesibles de independencia para la aritmética de Peano . Boletín de la Sociedad Matemática de Londres. (mil novecientos ochenta y dos). Consultado el 24 de diciembre de 2017. Archivado desde el original el 16 de enero de 2021. (indefinido)
- ↑ Laurie Kirby, Jeff París. Resultados de independencia accesibles para la aritmética de Peano // Boletín de la Sociedad Matemática de Londres. — 1982-07-01. — vol. 14 , edición. 4 . - pág. 285-293 . — ISSN 1469-2120 . -doi : 10.1112 / blms/14.4.285 .
- ↑ París. BJ: 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 .
- ↑ JB París, LAS Kirby. Esquemas de colección ∑n en aritmética . - S. 199-209 . — ISBN 9780444851789 . - doi : 10.1016/s0049-237x(08)72003-2 .
- ↑ [ https://www.scopus.com/authid/detail.url?authorId=14043882800 Vista previa de Scopus - Scopus - Detalles del autor (Paris, Jeff Bruce) ] . www.scopus.com. Consultado: 24 de diciembre de 2017.
- ↑ Máquina Wayback . web.archive.org. Consultado: 24 de diciembre de 2017.
- ↑ Jeffrey Paris - El proyecto de genealogía de las matemáticas . www.genealogy.math.ndsu.nodak.edu. Consultado el 24 de diciembre de 2017. Archivado desde el original el 13 de julio de 2018. (indefinido)
- ↑ Becarios de la Academia Británica . Consultado el 24 de diciembre de 2017. Archivado desde el original el 3 de marzo de 2016.
- ↑ British Academy Review 1998-1999 - The Fellowship (enlace no disponible) (23 de octubre de 2007). Consultado el 24 de diciembre de 2017. Archivado desde el original el 23 de octubre de 2007. (indefinido)
Enlaces
sitios temáticos |
|
---|
En catálogos bibliográficos |
---|
|
|