HISTORICAL PERSON · 1980年没

アレン・ハイティング

オランダの数学者・論理学者。ブラウワーの弟子となって直観論理を研究し、1930年にその最初の公理体系を提唱した。

生涯
1980年没
死亡地
スイス連邦(ティチーノ州 / ルガーノ)
出生地
オランダ(アムステルダム)
出典
世界地図
スイス連邦(ティチーノ州)

伝記

オランダの数学者・論理学者。ブラウワーの弟子となって直観論理を研究し、1930年にその最初の公理体系を提唱した。

同じ年に亡くなった人物

同じ地域に関係する人物