クルト・ゲーデル
アリストテレス、クルト・ゲーデル、ゴットロープ・フレーゲとともに、「四人の偉大な論理学者」の一人として数えられる。また、彼の名前は「バナッハ＝タルスキーの定理」などで知られる。