イリノイ大学名誉教授
竹内 外史
GAISHI TAKEUCHI

1926年石川県に生まれる。東京大学数学科卒業。東京大学講師、プリンストン高級研究所所員、東京教育大学教授、イリノイ大学教授を歴任。専門は数学基礎論。コンピュータの多項式時間の計算を数理論理学的に研究。朝日賞、大川出版賞を受賞。またチェコ科学アカデミーよりボルツァノ・メダルを授与された。2017年逝去。『ゲーデル(新版)』『PとNP』(以上、日本評論社)『証明論と計算量』(裳華房)、『直観主義的集合論』(紀伊国屋書店)ほか著書も多い