ベネディクト・レーヴェ

ベネディクト・レーヴェ メー
ベネディクト・レーヴェ、プラハ、2019年8月
生まれる	1972
母校	テュービンゲン大学、ベルリン・フンボルト大学
科学者としてのキャリア
フィールド	数学、論理
論文	ブラックウェル決定論 （2001）
博士課程の指導教員	ロナルド・ジェンセン ドナルド・アンソニー・マーティン

ベネディクト・レーヴェ ・マエ （1972年生まれ）は、ハンブルク大学とケンブリッジ大学で研究するドイツの数学者、論理学者です。^[1]彼は数理論理学と数学の基礎 に関する研究で知られており、また、学際的な会議シリーズであるFoundations of the Formal Sciences（FotFS、1999年～2013年）とComputability in Europe（CiE、2005年～）の創始者でもあります。^[2]

レーヴェはハンブルク大学、テュービンゲン大学、ベルリン大学、バークレー校で数学と哲学を学んだ。2001年、ドナルド・A・マーティンとロナルド・ビョルン・イェンセンの指導の下、決定性に関する「ブラックウェル決定性」と題した博士号を取得した。^{[3] 2003年から2023年まで}アムステルダム大学論理・言語・計算研究所 に勤務。 2009年、ハンブルク大学で数理論理学と論理の学際的応用の教授に任命され^{[4] 、}ケンブリッジ大学チャーチル・カレッジの 特別研究員でもある。^[5]レーヴェは2011年から2022年までMathematical Logic Quarterly 誌の編集長を務めた。 ^[6]

2012年から2022年までドイツ数理論理学・精密科学基礎研究協会（DVMLG）会長、2015年から2023年まで国際科学技術史哲学連合^[7]の論理学・方法論・科学技術哲学部門事務局長を務めた。2023年以降は国際哲学・人文科学評議会（CIPSH）の副会長の一人。^[8]

彼は国際科学哲学アカデミー^[9]、ヨーロッパアカデミー（MAE ）^[10]、ハンブルク科学アカデミー [ ^11]の会員であり、国際科学会議（FISC） フェローでもある。^[12]

• 2006.計算障壁に対する論理的アプローチ：ヨーロッパにおける計算可能性に関する第2回会議、CiE 2006、スウォンジー、英国、2006年6月30日～7月5日、議事録。Arnold Beckmann、Ulrich Berger、 John V. Tuckerとの共同編集。
• 2008.ゲーム、スケール、および Suslin カーディナル。Alexander S. KechrisおよびJohn R. Steelとの共同編集。ケンブリッジ: ケンブリッジ大学
• 2008.論理とアルゴリズムの理論：ヨーロッパにおける計算可能性に関する第4回会議、CiE 2008、ギリシャ、アテネ、2008年6月15日～20日、議事録。Arnold BeckmannおよびCostas Dimitracopoulosとの共編。ベルリン、ハイデルベルク[ua]：Springer
• 2011.ワッジ度と射影順序数 The Cabal Seminar Volume II 。Alexander S. KechrisおよびJohn R. Steelとの共同編集。