竹内外史
石川県出身。第四高等学校 (旧制)を経て、1947年東京大学理学部数学科卒業。東京大学教養学部講師、東京教育大学助教授を経て、1962年東京教育大学教授。1966年イリノイ大学アーバナ・シャンペーン校教授を経て、イリノイ大学名誉教授。 その間1959-1960年、1966-1968年、1971-1972年プリンストン高等研究所所員となる。また、2003年から2009年までKurt Gödel Society(英語版)のPresidentをつとめた。
プリンストン大学では、クルト・ゲーデルから講義を受けた。内気なゲーデルが心を明かせる数少ない人だった。 また、論理学者のゲオルク・クライゼルとも親友である。 国立情報学研究所教授の新井紀子は、イリノイ大学での指導学生。
2017年5月10日、老衰のため死去。91歳没。