John Lane Bell - John Lane Bell
John Lane Bell FRSC (né le 25 mars 1945) est un philosophe, mathématicien et logicien anglo-canadien. Il est professeur émérite de philosophie à l' Université de Western Ontario au Canada. Ses recherches portent sur des sujets tels que la théorie des ensembles , théorie des modèles , la théorie réseau , la logique modale , la logique quantique , les mathématiques constructives , théorie des types , la théorie des topos , analyse infinitésimale , la théorie de l' espace - temps, et la philosophie des mathématiques . Il est l'auteur de plus de 70 articles et de 13 livres. En 2009, il a été élu membre de la Société royale du Canada .
Biographie
John Bell a reçu une bourse de l'Université d'Oxford à l'âge de 15 ans et a obtenu un doctorat en philosophie. en mathématiques : son directeur de thèse était John Crossley . De 1968 à 1989, il a été maître de conférences en mathématiques et lecteur en logique mathématique à la London School of Economics .
Les étudiants de John Bell comprennent Graham Priest (Ph.D. Mathématiques LSE, 1972), Michael Hallett (Ph.D. Philosophie LSE, 1979), David DeVidi (Ph.D. Philosophie UWO, 1994), Elaine Landry (Ph.D. Philosophie UWO, 1994). Philosophie UWO, 1997) et Richard Feist (Ph.D. Philosophie UWO, 1999).
Bibliographie
- The Continuous, the Discret, and the Infinitesimal in Philosophy and Mathematics (Nouvelle édition révisée du livre de 2005), Springer, 2019.
- Oppositions et paradoxes : perplexités philosophiques en sciences et en mathématiques. Broadview Press, 2016.
- Théorie des ensembles intuitionniste . Publications du Collège, 2013.
- Théorie des ensembles : modèles à valeur booléenne et preuves d'indépendance . Oxford University Press 2011.
- L'axiome du choix . Publications du Collège, 2009.
- Le Continu et l'Infinisimal en Mathématiques et en Philosophie . Polimétrique, 2005.
- (Avec D. DeVidi et G. Solomon) Options logiques : une introduction aux logiques classiques et alternatives . Broadview Press, 2001.
- L'art de l'intelligible : une enquête élémentaire de mathématiques dans son développement conceptuel . Kluwer, 1999.
- Une introduction à l'analyse infinitésimale . Cambridge University Press, 1998. Deuxième édition, 2008.
- Les topos et les théories des ensembles locaux : une introduction . Clarendon Press, Oxford, 1988. Réimprimé par Dover, 2008.
- Modèles à valeur booléenne et preuves d'indépendance en théorie des ensembles . Clarendon Press, Oxford, 1977. 2e édition, 1985. 3e édition, 2005.
- (Avec M. Machover ). Un cours de logique mathématique . Hollande du Nord, Amsterdam, 1977. 4e impression, 2003.
- (Avec AB Slomson). Modèles et ultraproduits : une introduction . North-Holland, Amsterdam, 1969. Réimprimé par Dover , 2006.