Джон Лейн Белл
Джон Лейн Белл FRSC (родился 25 марта 1945 г.) - англо-канадский философ, математик и логик. Он является почетным профессором философии Университета Западного Онтарио в Канаде. Его исследования включают такие темы, как теория множеств , теория моделей , теория решеток , модальная логика , квантовая логика , конструктивная математика , теория типов , теория топоса , анализ бесконечно малых , теория пространства-времени и философия математики . Он автор более 70 статей и 13 книг. В 2009 году он был избран членом Королевского общества Канады .
Биография [ править ]
Джон Белл получил стипендию в Оксфордском университете в возрасте 15 лет и получил степень доктора философии. по математике: руководителем его диссертации был Джон Кроссли . В 1968–89 годах он был преподавателем математики и преподавателем математической логики в Лондонской школе экономики . [1]
Среди студентов Белла Грэм Прист (доктор философии LSE, 1972), Майкл Халлетт (доктор философии LSE, 1979), Дэвид ДеВиди (доктор философии UWO, 1994), Элейн Лэндри (доктор философии). UWO, 1997) и Ричард Файст (доктор философии UWO, 1999).
Библиография [ править ]
- Непрерывное, дискретное и бесконечно малое в философии и математике (новое и исправленное издание книги 2005 г.), Springer, 2019.
- Оппозиции и парадоксы: философские затруднения в науке и математике. Бродвью Пресс, 2016.
- Интуиционистская теория множеств . Публикации колледжа, 2013.
- Теория множеств: булевы модели и доказательства независимости . Издательство Оксфордского университета, 2011.
- Аксиома выбора . Публикации колледжа, 2009.
- Непрерывное и бесконечно малое в математике и философии . Полиметрика, 2005.
- (Совместно с Д. ДеВиди и Дж. Соломоном) Логические варианты: введение в классическую и альтернативную логику . Бродвью Пресс, 2001.
- Искусство понятного: элементарный обзор математики в ее концептуальном развитии . Клювер, 1999.
- Букварь бесконечно малого анализа . Издательство Кембриджского университета, 1998. Второе издание, 2008 г.
- Топосы и теории локальных множеств: Введение . Кларендон Пресс, Оксфорд, 1988. [2] Перепечатано Дувром, 2008 г.
- Булевозначные модели и доказательства независимости в теории множеств . Clarendon Press, Оксфорд, 1977. 2-е издание, 1985 г. 3-е издание, 2005 г.
- (совместно с М. Мачовером ). Курс математической логики . Северная Голландия, Амстердам, 1977. 4-е издание, 2003 г.
- (совместно с А. Б. Сломсоном). Модели и ультрапродукты: Введение . Северная Голландия, Амстердам, 1969 г. Перепечатано Dover , 2006 г.
Ссылки [ править ]
- ^ «Профессор Джон Л. Белл» . Университет Западного Онтарио . Проверено 25 марта 2010 г.
- ^ Ламбек, Дж. (1989). «Обзор: Топосы и локальные теории множеств: Введение Дж. Л. Белла» . Бык. амер. Математика. Соц. (НС) . 21 (2). Американское математическое общество: 325–332. дои : 10.1090/S0273-0979-1989-15849-7 .
Внешние ссылки [ править ]
- 1945 рождений
- Канадские математики XX века
- Канадские философы XX века
- Канадские математики XXI века
- Канадские философы XXI века
- Академики Лондонской школы экономики
- Выпускники Оксфордского университета
- Члены Королевского общества Канады
- Живые люди
- Академический состав Национального университета Сингапура
- Теоретики моделей
- Философы математики
- Теоретики множеств
- Академический состав Университета Западного Онтарио