チェコ共和国（プラハ）
伝記
ドイツの論理学者・数学者。ペアノ算術の無矛盾性を証明し、自然演繹とシークエント計算の体系を確立して、カット除去定理を証明した。
同じ年に亡くなった人物
- ゲオルグ・カイザー (1945年没)
- ベルタ・ツッカーカンドル＝シェプス (1945年没)
- アンネ・フランク (1945年没)
- オットー・ノイラート (1945年没)
- アグネス・ベーデン＝パウエル (1945年没)
同じ地域に関係する人物
- カレル・ドミン (1953年没)
- ヨゼフ・レナールト (2004年没)
- ヴィレーム・マテジウス (1945年没)
- アレクサンダー・フォン・メンスドルフ＝プイリー (1871年没)
- Jan Palous (1971年没)