Бенедикт Лёве

редактировать
Бенедикт Лёве
Benedikt.loewe.clmpst2019.opening.ceremony.jpg Бенедикт Лёве в Праге, август 2019
Родился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. Он является генеральным секретарем отдела логики, методологии и философии науки и техники Международного союза истории и философии науки и технологий, членом Совета ассоциации Вычислимость в Европа и член Международной академии философии науки.

.

Publications

Книги, выборка:

  • 2006. Логические подходы к вычислительным барьерам: Вторая конференция по вычислимости в Европе, CiE 2006, Суонси, Великобритания, 30 июня - 5 июля 2006 г.; разбирательства. Отредактировано Арнольдом Бекманном, Ульрихом Бергером и Джоном В. Такером.
  • 2008 г. Игры, весы и кардиналы Суслина. С Александром С. Кечрисом и Джоном Р. Стилом. Кембридж: Кембриджский университет
  • 2008. Логика и теория алгоритмов: 4-я конференция по вычислимости в Европе, CiE 2008, Афины, Греция, 15–20 июня 2008 г.; разбирательства. Отредактировано с Арнольдом Бекманном и Костасом Димитракопулосом. Берлин; Гейдельберг [u.a.]: Springer
  • 2011. Степени и проективные порядки. Семинар Кабала, Том II. С Александром С. Кечрисом и Джоном Р. Стилом.
Ссылки

.

Последняя правка сделана 2021-05-12 11:47:46
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте