John Lane Bell - John Lane Bell
John Lane Bell FRSC (nascido em 25 de março de 1945) é um filósofo, matemático e lógico anglo-canadense. Ele é Professor Emérito de Filosofia na University of Western Ontario, no Canadá. Sua pesquisa inclui tópicos como a teoria dos conjuntos , teoria dos modelos , teoria dos reticulados , lógica modal , lógica quântica , matemática construtivas , teoria dos tipos , teoria topos , análise infinitesimal , teoria do espaço-tempo, ea filosofia da matemática . É autor de mais de 70 artigos e 13 livros. Em 2009, ele foi eleito membro da Royal Society of Canada .
Biografia
John Bell recebeu uma bolsa de estudos da Universidade de Oxford aos 15 anos de idade e formou-se com um D.Phil. em Matemática: seu orientador de dissertação foi John Crossley . Durante 1968-89, ele foi Professor de Matemática e Leitor de Lógica Matemática na London School of Economics .
Os alunos de John Bell incluem 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. Filosofia UWO, 1997) e Richard Feist (Ph.D. Filosofia UWO, 1999).
Bibliografia
- The Continuous, the Discrete, and the Infinitesimal in Philosophy and Mathematics (edição nova e revisada do livro de 2005), Springer, 2019.
- Oposições e paradoxos: perplexidades filosóficas em ciências e matemática. Broadview Press, 2016.
- Teoria Intuicionista dos Conjuntos . Publicações da faculdade, 2013.
- Teoria dos conjuntos: modelos com valores booleanos e provas de independência . Oxford University Press 2011.
- O Axioma da Escolha . Publicações da faculdade, 2009.
- O Contínuo e o Infinitesimal em Matemática e Filosofia . Polimetrica, 2005.
- (Com D. DeVidi e G. Solomon) Opções lógicas: Uma introdução à lógica clássica e alternativa . Broadview Press, 2001.
- A Arte do Inteligível: Uma Pesquisa Elementar da Matemática em seu Desenvolvimento Conceitual . Kluwer, 1999.
- A Primer of Infinitesimal Analysis . Cambridge University Press, 1998. Segunda edição, 2008.
- Toposes & Teorias de Conjuntos Locais: Uma Introdução . Clarendon Press, Oxford, 1988. Reimpresso por Dover, 2008.
- Modelos com valor booleano e provas de independência na teoria dos conjuntos . Clarendon Press, Oxford, 1977. 2ª edição, 1985. 3ª edição, 2005.
- (Com M. Machover ). Um Curso de Lógica Matemática . North-Holland, Amsterdam, 1977. 4ª impressão, 2003.
- (Com AB Slomson). Modelos e ultraprodutos: uma introdução . North-Holland, Amsterdam, 1969. Reimpresso por Dover , 2006.