John-Lane-Glocke - John Lane Bell
John Lane Bell FRSC (* 25. März 1945) ist ein anglo-kanadischer Philosoph, Mathematiker und Logiker. Er ist emeritierter Professor für Philosophie an der University of Western Ontario in Kanada. Seine Forschung umfasst Themen wie Mengenlehre , Modelltheorie , Gittertheorie , Modallogik , Quantenlogik , konstruktive Mathematik , Typentheorie , Topostheorie , Infinitesimal Analysis , Raumzeittheorie und Philosophie der Mathematik . Er ist Autor von mehr als 70 Artikeln und 13 Büchern. 2009 wurde er zum Fellow der Royal Society of Canada gewählt .
Biografie
John Bell erhielt im Alter von 15 Jahren ein Stipendium an der Oxford University und schloss sein Studium mit einem D.Phil. in Mathematik: sein Doktorvater war John Crossley . Von 1968 bis 1989 war er Dozent für Mathematik und Reader für Mathematische Logik an der London School of Economics .
Zu den Studenten von John Bell gehören 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. Philosophie UWO, 1997) und Richard Feist (Ph.D. Philosophie UWO, 1999).
Literaturverzeichnis
- The Continuous, the Discrete, and the Infinitesimal in Philosophy and Mathematics (Neue und überarbeitete Ausgabe von 2005), Springer, 2019.
- Oppositionen und Paradoxien: Philosophische Perplexitäten in Naturwissenschaften und Mathematik. Broadview-Presse, 2016.
- Intuitionistische Mengenlehre . Hochschulpublikationen, 2013.
- Mengentheorie: Boolesche Modelle und Unabhängigkeitsbeweise . Oxford University Press 2011.
- Das Axiom der Wahl . Hochschulpublikationen, 2009.
- Das Kontinuierliche und das Unendliche in Mathematik und Philosophie . Polimetrica, 2005.
- (Mit D. DeVidi und G. Solomon) Logische Optionen: Eine Einführung in die klassische und alternative Logik . Broadview-Presse, 2001.
- Die Kunst des Intelligiblen: Ein elementarer Überblick über die Mathematik in ihrer konzeptionellen Entwicklung . Kluwer, 1999.
- Eine Einführung in die unendliche Analyse . Cambridge University Press, 1998. Zweite Ausgabe, 2008.
- Toposen und lokale Mengentheorien: Eine Einführung . Clarendon Press, Oxford, 1988. Nachdruck von Dover, 2008.
- Boolesche Modelle und Unabhängigkeitsbeweise in der Mengenlehre . Clarendon Press, Oxford, 1977. 2. Auflage, 1985. 3. Auflage, 2005.
- (Mit M. Machover ). Ein Kurs in mathematischer Logik . Nordholland, Amsterdam, 1977. 4. Auflage, 2003.
- (Mit AB Slomson). Modelle und Ultraprodukte: Eine Einführung . Nordholland, Amsterdam, 1969. Nachdruck von Dover , 2006.