チェコ共和国（プラハ）
伝記
ドイツの論理学者・数学者。ペアノ算術の無矛盾性を証明し、自然演繹とシークエント計算の体系を確立して、カット除去定理を証明した。
同じ年に亡くなった人物
- アントン・ヴェーベルン (1945年没)
- アレクサンドル・フェルスマン (1945年没)
- ドロテア・ケーリング (1945年没)
- ヘルムート・イェームス・フォン・モルトケ (1945年没)
- 本庄繁 (1945年没)
同じ地域に関係する人物
- ミロスラフ・ホルブ (1998年没)
- Zdenek Zikan (2013年没)
- ゲルハルト・フォン・シャルンホルスト (1813年没)
- ヤロミル・イレシュ (2001年没)
- ルドルフ2世 (神聖ローマ皇帝) (1612年没)