ヘルムート・シュヴィッテンベルク

ヘルムート・シュヴィッテンベルク（1942年4月5日生まれ^[2]）はドイツの数理論理学者である。

シュヴィッテンベルクは1961年からベルリン自由大学で数学を学び、1964年からはミュンスター大学で数学を学び、1968年にディーター・レーディングから博士号を取得した。^[2]^[3]^[4]その後、ミュンスターで助手、次いで教授として働き、^{[5] 1978年からは}ミュンヘンルートヴィヒ・マクシミリアン大学で数理論理学の教授を務めている（クルト・シュッテの後任）。 ^[2]

シュヴィッテンベルクは、証明理論、計算可能性理論、ラムダ計算、コンピュータサイエンスにおける論理の応用などを研究している。彼はバイエルン科学アカデミーの会員である。^[5]

主な出版物

ヘルムート・シュヴィヒテンベルクとクルト・シュッテ（1990年）。「数学論理学」。 Gerd Fischer、Friedrich Hirzebruch、Winfried Scharlau、Willi Törnig (編)。Ein Jahrhundert Mathematik、1890–1990 – Festschrift zum Jubiläum der DMV。 Dokumente zur Geschichte der Mathematik (ドイツ語)。 Vol. 6. ブラウンシュヴァイク: Vieweg。 717–740ページ。ISBN 3-528-06326-2。

Helmut Schwichtenberg および Anne S. Troelstra (1996)。「基本的な証明理論」。ケンブリッジ理論計算機科学論文集。第 43 巻 (第 1 版)。ケンブリッジ: ケンブリッジ大学出版局。ISBN 0-521-57223-1。（2000年第2版：ISBN 0-521-77911-1）

ヘルムート・シュヴィッテンベルク、スタンレー・S・ウェイナー（2012年）。証明と計算。ケンブリッジ：ケンブリッジ大学出版局。ISBN 978-0-521-51769-0。

Helmut Schwichtenberg (2006). 「多項式時間計算のための算術」.理論計算機科学. 357 (1–3): 202–214. doi :10.1016/j.tcs.2006.03.019.

^ ウルリッヒ・ベルガー、ハンネス・ディーナー、ピーター・シュスター、モニカ・ザイゼンベルガー (2012)。 "序文"。ロジック、構築、計算。 2～4ページ。土井：10.1515/9783110324921.2。ISBN 978-3-11-032453-2。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
^ abc ユルゲン・エルストロッドとノルベルト・シュミッツ (2013 年 4 月)。「エヘマリッジ・プロフェッセン 1945–1969」。 Entwicklung der Mathematik an der Universität Münster (PDF) (ドイツ語)。 p. 283.
^ ヘルムート・シュヴィヒテンベルク (1968)。 Eine Klassifikation der mehrfach-rekursiven Punktionen [複数の再帰関数の分類] (PDF) (博士論文) (ドイツ語)。ミュンスター大学。S2CID 17197421。2019 年 10 月 31 日のオリジナル(PDF)からアーカイブ。
^ 数学系譜プロジェクトのヘルムート・シュヴィッテンベルク
^ ab フリッチュ、ルドルフ;ハウバー、ルドルフ編。（2000年）。「ヘルムート・シュヴィヒテンベルク教授」。25 Jahre Fakultät für Mathematik Das Mathematische Institut 1971 – 1996: Jubiläumsfestschrift des Mathematischen Instituts der Ludwig-Maximilians-Universität München。 LMUミュンヘン。2024 年5 月 22 日に取得。