マイケル・ダメット(Sir Michael Anthony Eardley Dummett F.B.A., D. Litt、1925年6月27日 - 2011年12月27日)は、イギリスの哲学者。

アレン・ハイティング(Arend Heyting、1898年5月9日 - 1980年7月9日)は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。

ライツェン・エヒベルトゥス・ヤン・ブラウワー(Luitzen Egbertus Jan Brouwer、1881年2月27日 - 1966年12月2日)はオランダの数学者。ブラウエル、ブローウェルなどとも表記される。

スティーヴン・コール・クリーネ(Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。