イリノイ大学名誉教授、理学博士。1926年 石川県に生まれる。東京大学理学部卒業。東京大学講師、東京教育大学助教授・教授、イリノイ大学教授などを歴任。主な著書に『リー代数と素粒子論』『線形代数と量子力学』(以上 裳華房)、『現代集合論入門』『層・圏・トポス』(以上 日本評論社)、『直観主義的集合論』(紀伊國屋書店)などがある。 「1995年 『証明論と計算量』 で使われていた紹介文から引用しています。」