■

Gentzenの英語版の伝記を購入したので、今度は以下を注文しておく。

• Heinz-Dieter Ebbinghaus　　Ernst Zermelo: An Approach to His Life and Work, Springer, 2007

PS
昨日入手した

• Bertrand Russell　　“Chapter XI: Definition of Cardinal Numbers”, in his The Principles of Mathematics, vol. I., Cambridge University press, 1903, University of Michigan Historical Math Collection

を少し読む。
Technicalに近い話をinformalに語っているのでわかりやすい。

おやすみなさい。