ハインリヒ・ベーマン

ハインリヒ・ベーマン（1891年1月10日、ブレーメン＝アウムント生まれ、1970年2月3日、ブレーメン＝アウムント生まれ）はドイツの数学者。集合論と述語論理の分野で研究を行った。

ベーマンはテュービンゲン、ライプツィヒ、ゲッティンゲンで数学を学んだ。第一次世界大戦中、負傷し、二級鉄十字章を受章した。博士論文「ラッセルとホワイトヘッドの理論による超限数と離脱のアンチノミー」の執筆をデイヴィト・ヒルベルトが指導した。1922年、ベーマンはモナド述語計算が決定可能であることを証明した。1938年、ハレ（ザーレ）で数学の教授職を得た。1945年、ナチ党員であったため解雇された。

• 略歴（ドイツ語）
• 数学系譜プロジェクトのハインリッヒ・ベーマン
•  Mancosu, Paolo (1999 年 9月)。「ラッセルとヒルベルトの 間: ハインリヒ・ベーマンによる数学の基礎」。The Bulletin of Symbolic Logic。5 ( 3): 303–330。doi :10.2307/421183。JSTOR 421183。S2CID 14257163。2007年 8 月 7 日に閲覧。