John Lane Bell - John Lane Bell
John Lane Bell FRSC (nacido el 25 de marzo de 1945) es un filósofo, matemático y lógico anglo-canadiense. Es profesor emérito de filosofía en la Universidad de Western Ontario en Canadá. Su investigación incluye temas tales como la teoría de conjuntos , la teoría de modelos , la teoría de celosía , la lógica modal , lógica cuántica , matemáticas constructivas , tipo teoría , topos , análisis infinitesimal , la teoría de espacio-tiempo, y la filosofía de las matemáticas . Es autor de más de 70 artículos y de 13 libros. En 2009, fue elegido miembro de la Royal Society of Canada .
Biografía
John Bell recibió una beca para la Universidad de Oxford a la edad de 15 años y se graduó con un doctorado en Filosofía. en Matemáticas: su supervisor de tesis fue John Crossley . Durante 1968-1989 fue profesor de matemáticas y profesor de lógica matemática en la London School of Economics .
Los estudiantes de John Bell incluyen a Graham Priest (Ph.D. Mathematics LSE, 1972), Michael Hallett (Ph.D. Philosophy LSE, 1979), David DeVidi (Ph.D. Philosophy UWO, 1994), Elaine Landry (Ph.D. Filosofía UWO, 1997) y Richard Feist (Ph.D. Filosofía UWO, 1999).
Bibliografía
- Lo continuo, lo discreto y lo infinitesimal en filosofía y matemáticas (edición nueva y revisada del libro de 2005), Springer, 2019.
- Oposiciones y paradojas: perplejidades filosóficas en ciencia y matemáticas. Prensa de Broadview, 2016.
- Teoría intuicionista de conjuntos . Publicaciones universitarias, 2013.
- Teoría de conjuntos: modelos con valores booleanos y pruebas de independencia . Prensa de la Universidad de Oxford 2011.
- El axioma de la elección . Publicaciones universitarias, 2009.
- Lo continuo y lo infinitesimal en matemáticas y filosofía . Polimetrica, 2005.
- (Con D. DeVidi y G. Solomon) Opciones lógicas: una introducción a la lógica clásica y alternativa . Broadview Press, 2001.
- El arte de lo inteligible: un estudio elemental de las matemáticas en su desarrollo conceptual . Kluwer, 1999.
- Una cartilla de análisis infinitesimal . Cambridge University Press, 1998. Segunda edición, 2008.
- Topos y teorías de conjuntos locales: una introducción . Clarendon Press, Oxford, 1988. Reimpreso por Dover, 2008.
- Modelos con valores booleanos y pruebas de independencia en la teoría de conjuntos . Clarendon Press, Oxford, 1977. 2ª edición, 1985. 3ª edición, 2005.
- (Con M. Machover ). Un curso de lógica matemática . Holanda Septentrional, Amsterdam, 1977. 4ª edición, 2003.
- (Con AB Slomson). Modelos y Ultraproductos: Introducción . Holanda Septentrional, Amsterdam, 1969. Reimpreso por Dover , 2006.