Entries from 2021-04-13 to 1 day
縦書きの和文を読むとかいう奇行 -- (本を貸していただきました): 茂木健一郎 『脳と仮想』 | 新潮社 '数という仮想:' デデキントによる「連続性」の定式化: c.1860 と同じように、たとえば: ヒルベルトによる「証明」の定式化: c.1900 ブルバキによる「構造…
縦書きの和文を読むとかいう奇行 -- (本を貸していただきました): 茂木健一郎 『脳と仮想』 | 新潮社 '数という仮想:' デデキントによる「連続性」の定式化: c.1860 と同じように、たとえば: ヒルベルトによる「証明」の定式化: c.1900 ブルバキによる「構造…