竹内外史
出典: フリー百科事典『ウィキペディア（Wikipedia）』
竹内 外史（たけうち がいし、1926年1月25日 - ）は、日本の数学者、論理学者。専門は数理論理学。石川県出身。東京大学理学部数学科卒業。東京教育大学教授、イリノイ大学教授を歴任。
プリンストンでゲーデルに直に教わり、内気なゲーデルが心を明かせる数少ない人だった。論理学者のゲオルク・クライゼルは親友である。
長くイリノイ大学で教鞭を執る。その間、実数論の無矛盾性の証明を試みる。
一般向けに書いた、講談社ブルーバックス刊の『集合とはなにか』は名著とされる。
著書[編集]
- 現代集合論入門
- 集合とはなにか : はじめて学ぶ人のために
- 線型論理入門
- 数学から物理学へ
- 無限小解析と物理学
- リー代数と素粒子論
- ゲーデル
- 数学基礎論の世界
- 直観主義的集合論
- 層・圏・トポス 現代的集合像を求めて
- 線型代数と量子力学
- 証明論と計算量
- 数理論理学 語の問題
- 証明論入門(八杉満利子と共著)
- Proof Theory, Studies in Logic and the Foundations of Mathematics, Vol. 81
- Two Applications of Logic to Mathematics
