2021-04-01から1ヶ月間の記事一覧
はじめに グリベンコの定理1でお馴染みのグリベンコの手紙をいくつか翻訳する。 テキストはA. S. Troestra, On the Early History of Intuitionisitc Logic, In Mathematical Logic, Springer, pp.3-17 (1990) を使用した。 以下でも読むことができる。 http…
はじめに グリベンコの定理1でお馴染みのグリベンコの手紙をいくつか翻訳する。 テキストはA. S. Troestra, On the Early History of Intuitionisitc Logic, In Mathematical Logic, Springer, pp.3-17 (1990) を使用した。 以下でも読むことができる。 http…