以前つけていたノートを何気なく見ると、The Paradox of Grueを勉強して、その内容をまとめたものが書いてあった。 ただしかなりの走り書きで乱雑である。 きちんと清書しておく必要がある。 そこでこの日記できれいに書き留めておこうと思う。 どのようにpa…

William Bragg Ewald, Wilfried Seig and Ulrich Majer Hrsg., David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933, Springer, Bandwerk David Hilbert's Lectures. Foundation:1849-1933, 2008 The bulk of this volume cons…