Benedikt Löwe - Benedikt Löwe

Benedikt Löwe
Benedikt.loewe.clmpst2019.opening.ceremony.jpg
Benedikt Löwe dovnitř Praha, Srpen 2019
narozený1972
Alma materUniversity of Tübingen, Humboldtova univerzita v Berlíně
Vědecká kariéra
PoleMatematika, Logika
TezeBlackwell odhodlání (2001)
Doktorský poradceRonald Jensen, Donald Anthony Martin

Benedikt Löwe (narozen 1972) je Němec matematik a logik pracuje na univerzitách v Amsterdam, Hamburg, a Cambridge.[1]On je známý pro jeho práci na matematické logice a základy matematiky, stejně jako pro zahájení interdisciplinární série konferencí Základy formálních věd (FotFS; 1999–2013) a Vyčíslitelnost v Evropě (CiE; od roku 2005).[2]

Životopis

Löwe studoval matematiku a filozofii na univerzitách v Hamburg, Tübingen, HU Berlín, a Berkeley. V roce 2001 ukončil titul PhD Blackwell odhodlání o rozhodnost pod dohledem Donald A. Martin a Ronald Björn Jensen.[3]Pracuje v Institute for Logic, Language and Computation z University of Amsterdam od roku 2003 a byl jmenován Profesor pro matematickou logiku a interdisciplinární aplikace logiky na Univerzita v Hamburku v roce 2009.[4]V současné době je také Fellow na Churchill College z Univerzita v Cambridge.[5]Löwe je redaktorkou časopisu Matematická logika čtvrtletně[6]a redaktor časopisůVyčíslitelnost,Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg,Philosophia Scientiae,Studia Logica, aTbilisi Mathematical JournalJe generálním tajemníkem Oddělení pro logiku, metodiku a filozofii vědy a techniky z Mezinárodní unie historie a filozofie vědy a techniky,[7]člen rady sdružení Vyčíslitelnost v Evropě,[8]a člen International Academy for Philosophy of Science.[9]


Publikace

Knihy, výběr:

  • 2006. Logické přístupy k výpočetním překážkám: Druhá konference o vypočítatelnosti v Evropě, CiE 2006, Swansea, Velká Británie, 30. června - 5. července 2006; řízení. Editace: Arnold Beckmann, Ulrich Berger a John V. Tucker.
  • 2008. Hry, váhy a kardinálové Suslin. S Alexander S.Kechris a John R. Steel. Cambridge: Cambridge University
  • 2008. Logika a teorie algoritmů: 4. konference o vypočítatelnosti v Evropě, CiE 2008, Atény, Řecko, 15. – 20. Června 2008; řízení. Upraveno Arnoldem Beckmannem a Costasem Dimitracopoulosem. Berlín; Heidelberg [USA]: Springer
  • 2011. Stupně Wadge a projektivní ordinálové Kabalistický seminář Svazek II. S Alexander S.Kechris a John R. Steel.

Reference

  1. ^ „UHH: Web Benedikt Löwe“. Citováno 21. července 2019.
  2. ^ „Základy formálních věd“. Citováno 19. května 2013.„Konferenční seriál Počitatelnost v Evropě“. Citováno 19. července 2019.
  3. ^ Benedikt Löwe na Matematický genealogický projekt
  4. ^ „UvA ILLC: Logic & Computation“. Citováno 21. července 2019.„UHH: Arbeitsgruppe ML“. Citováno 21. července 2019.
  5. ^ „Churchill College: Web Benedikt Löwe“. Citováno 21. července 2019.
  6. ^ „Wiley: Redakční rada MLQ“. Citováno 21. července 2019.
  7. ^ „DLMPST / IUHPST: Members Council 2016-2019“. Citováno 21. července 2019.
  8. ^ „ACiE: Současná struktura správy a řízení“. Citováno 21. července 2019.
  9. ^ „AIPS: Les Membres avec références académiques“. Citováno 21. července 2019.