タイプ理論関連。

一日、タイプ理論研究会のレジュメ準備。
なかなか大変だ。

近藤氏のブログが可述的定義／非可述的定義の歴史を整理してくれており、参考になった。
【リンク】

Zig-zag Theoryなどについては，Tiles本に分かりやすい解説があることに，後で気づいた．
【リンク】

ここら辺の歴史についての，良いサーベイがあればうれしいんだけども．

Russell Poincaré論争
M. Detlefsen [1993], Poincaré vs. Russell on the Rôle of Logic in Mathematicst, Philosophia Mathematica 1 (1):24-49. 【リンク】

Gerhard Heinzmann [1985], Entre intuition et analyse : Poincaré et le concept de prédicativité, Paris : Albert Blanchard.

Gerhard Heinzmann (éd.)[1986],
Poincaré, Russell, Zermelo et Peano; textes de la discussion, 1906-1912, sur les fondements des mathématiques; des antinomies à la prédicativité, Albert Blanchard 【リンク1】【リンク2】