Бенедикт Лёве | |
---|---|
![]() | |
Родился | 1972 |
Alma mater | Тюбингенский университет, Берлинский университет Гумбольдта |
Научная карьера | |
Области | Математика, Логика |
Диссертация | Детерминация Блэквелла ( 2001) |
Докторант | Рональд Дженсен, Дональд Энтони Мартин |
Бенедикт Лёве (1972 г.р.), немецкий магистр. тематик и логик, работающие в университетах Амстердама, Гамбурга и Кембриджа. Он известен своими работами по математической логике и основам математики, а также инициатором серии междисциплинарных конференций «Основы формальных наук» (FotFS; 1999–2013 гг.) И «Вычислимость в Европе» (CiE; с 2005 г.).
Лёве изучал математику и философию в университетах Гамбурга, Тюбингена, Берлинского университета и Беркли. В 2001 году он защитил докторскую диссертацию по теме «Определенность Блэквелла в отношении определенности » под руководством Дональда А. Мартина и Рональда Бьёрна Йенсена. Он работает в Институте логики, языка и вычислений при Амстердамском университете с 2003 года и был назначен профессором математической логики и междисциплинарных приложений логики в Гамбургском университете. в 2009 году. В настоящее время он также является научным сотрудником Черчилль-колледжа Кембриджского университета. Лёве - главный редактор журнала Mathematical Logic Quarterly и редактор журналов Computability, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Philosophia Scientiae, Studia Logica и Tbilisi Mathematical Journal. Он является генеральным секретарем отдела логики, методологии и философии науки и техники Международного союза истории и философии науки и технологий, членом Совета ассоциации Вычислимость в Европа и член Международной академии философии науки.
.
Книги, выборка:
.