베네딕트 뢰베

Benedikt Löwe
베네딕트 뢰베
Benedikt.loewe.clmpst2019.opening.ceremony.jpg
2019년 8월 프라하의 베네딕트 뢰베
태어난1972
모교베를린 훔볼트 대학교 튀빙겐 대학교
과학 경력
필드수학, 논리학
논문블랙웰 결정성 (2001)
박사학위 자문위원로널드 젠슨, 도널드 앤서니 마틴

베네딕트 뢰베(Benedikt Löwe, 1972년 출생)는 암스테르담, 함부르크, 케임브리지 대학에서 일하는 독일의 수학자 겸 논리학자다.[1] 그는 수학 논리와 수학의 기초에 관한 연구뿐만 아니라 학제간 회의 시리즈인 Foundation of the Formal Science (FotFS; 1999–2013)와 Computability in Europe (CiE; 2005년 이후)를 시작한 것으로 유명하다.[2]

전기

뢰웨는 함부르크, 튀빙겐, HU 베를린, 버클리 대학에서 수학과 철학을 공부했다. 2001년, 그는 도널드 A의 감독하에 블랙웰 결정성에 관한 박사과정을 마쳤다. 마틴과 로널드 비외른 옌센.[3] 2003년부터 암스테르담 대학의 논리, 언어 및 연산 연구소에서 근무하고 있으며 2009년 함부르크 대학교의 수리논리와 논리의 학제간 응용 분야에서 교수로 임명되었다.[4] 현재, 그는 또한 케임브리지 대학의 처칠 대학교의 특별한 동료다.[5] Löwe는 Mathematical Logic Quarterly 저널의 편집장이다.[6]

국제역사철학연합의[7] 논리방법론철학부 사무처장이자 국제과학철학아카데미 회원이다.[8]

공동 편집된 볼륨(선택 사항)

  • 2006. 계산 장벽에 대한 논리적 접근법: 2006년 6월 30일 – 2006년 7월 5일, CiE 2006, Swansea, 영국 Swansea, 2차 계산가능성 회의; 절차. 아놀드 베크만, 울리히 버거, 존 5세와 공동 집필. 터커.
  • 2008. 게임, 저울, 그리고 서슬린 추기경. Alexander S. Kechris, John R과 공동편집. 스틸. 케임브리지 : 케임브리지 대학교
  • 2008. 알고리즘의 논리 및 이론 : 제4차 유럽 계산가능성에 관한 회의, CiE 2008, 아테네, 그리스, 6월 15일~20일, 절차 아놀드 베크만, 코스타스 디미트라코풀로스와 공동 편집. 베를린; 하이델베르크 [우아] : 스프링거
  • 2011. Wadge Diages and Projective Ordinals The Cabal Semina Volume II. Alexander S. Kechris, John R과 공동편집. 강철.

참조

  1. ^ "UHH: Website Benedikt Löwe". Retrieved 21 July 2019.
  2. ^ "Foundations of the Formal Sciences". Retrieved 19 May 2013. "Computability in Europe Conference Series". Retrieved 19 July 2019.
  3. ^ 수학계보 프로젝트 베네딕트 뢰베
  4. ^ "UvA ILLC: Logic & Computation". Retrieved 21 July 2019. "UHH: Arbeitsgruppe ML". Retrieved 21 July 2019.
  5. ^ "Churchill College: Website Benedikt Löwe". Retrieved 21 July 2019.
  6. ^ "Wiley: MLQ Editorial Board". Retrieved 21 July 2019.
  7. ^ "DLMPST/IUHPST: Council Members 2016-2019". Retrieved 21 July 2019.
  8. ^ "AIPS: Les Membres avec références académiques". Retrieved 21 July 2019.


Stub icon

독일 수학자에 관한 이 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.