Dzwonek Johna Lane'a - John Lane Bell
John Lane Bell FRSC (ur. 25 marca 1945 r.) jest anglo-kanadyjskim filozofem, matematykiem i logikiem. Jest emerytowanym profesorem filozofii na Uniwersytecie Zachodniego Ontario w Kanadzie. Jego badania obejmuje takie tematy jak teorii mnogości , teorii modeli , teorii siatkowej , modalnej logiki , logiki kwantowej , konstruktywnych matematyki , teorii typów , teoria topos , analizy nieskończenie , teoria czasoprzestrzeni, i filozofii matematyki . Jest autorem ponad 70 artykułów i 13 książek. W 2009 roku został wybrany na członka Królewskiego Towarzystwa Kanady .
Biografia
John Bell otrzymał stypendium na Uniwersytecie Oksfordzkim w wieku 15 lat i ukończył studia z tytułem D.Phil. z matematyki: jego promotorem był John Crossley . W latach 1968-89 był wykładowcą matematyki i czytelnikiem logiki matematycznej w London School of Economics .
Studenci Johna Bella to Graham Priest (doktorat z matematyki LSE, 1972), Michael Hallett (doktorat z filozofii LSE, 1979), David DeVidi (doktorat z filozofii UWO, 1994), Elaine Landry (dok. Filozofia UWO, 1997) i Richard Feist (Ph.D. Philosophy UWO, 1999).
Bibliografia
- The Continuous, the Discrete, and the Infinitesimal in Philosophy and Mathematics (nowe i poprawione wydanie książki z 2005 r.), Springer, 2019.
- Opozycje i paradoksy: filozoficzne rozterki w nauce i matematyce. Broadview Press, 2016.
- Intuicjonistyczna teoria mnogości . Publikacje Kolegium, 2013.
- Teoria mnogości: modele o wartości logicznej i dowody niezależności . Oxford University Press 2011.
- Aksjomat wyboru . Publikacje Kolegium, 2009.
- Ciągłość i nieskończoność w matematyce i filozofii . Polimetria, 2005.
- (Z D. DeVidi i G. Solomonem) Opcje logiczne: wprowadzenie do logiki klasycznej i alternatywnej . Broadview Press, 2001.
- Sztuka zrozumiałości: elementarny przegląd matematyki w jej rozwoju konceptualnym . Kluwer, 1999.
- Podstawa analizy nieskończenie małych . Cambridge University Press, 1998. Wydanie drugie, 2008.
- Toposy i lokalne teorie mnogości: wprowadzenie . Clarendon Press, Oxford, 1988. Przedruk Dover, 2008.
- Modele o wartości logicznej i dowody niezależności w teorii mnogości . Clarendon Press, Oxford, 1977. Wydanie drugie, 1985. Wydanie trzecie, 2005.
- (Z M. Machoverem ). Kurs logiki matematycznej . North-Holland, Amsterdam, 1977. Czwarty druk, 2003.
- (Z AB Slomsonem). Modele i ultraprodukty: wprowadzenie . Północna Holandia, Amsterdam, 1969. Przedruk Dover , 2006.