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.

Bibliografia

Linki zewnętrzne