このところ更新の途絶えているRichard Zachのblogをのぞくと久しぶりに書き込みがあり、以下の文献が上がっている。さっそく入手。 Richard Zach ‘Hilbert’s Program Then and Now’ Abstractは以下のよう。 Hilbert’s program was an ambitious and wide-ran…

ずいぶんPoland語の辞書を引く。疲れるまでひたすら引く。わからない単語だらけなので、全単語を引かなければならない。 そこで例えば biblioteki instytucje は何となく想像がつく。それぞれBibliothek=bibliotheque、institutionのことのようである。哲学…