1936年神奈川県横浜市に生まれる。1959年東京大学理学部数学科を卒業。1961年東京大学大学院理学研究科修士課程を修了。その後、電電公社電気通信研究所に勤務後、東京大学、山梨大学、国際基督教大学、大妻女子大学で教鞭をとり、現在、大妻女子大学名誉教授。専門は情報科学。理学博士。『詭弁論理学』(中公新書)、『不完全性定理 数学的体系のあゆみ』〈10刷〉、『数学的センス』〈6刷〉(ともにちくま学芸文庫M&S)、他著書多数。