doi.org 今日はこれを読んでいた。加筆版が渕野先生のページで公開されている。 Mathias 氏がそんなことを論じていたとは知らなかったので、さっそく読んでみたが、本当に『集合論1』の前書きに目を通したのか疑わしいと思ってしまった。それにしても、ここ…

「数学の勉強をしたくて入ったのですが、授業は哲学や数学基礎論ばかり。最初の2年間はウズウズしていた期間でした」 いや、こういう大学が、日本にもいや世界にも一校ぐらいあってよいと思いますよ。このたとえは、階層性の観点からは少し外れていますが。…

圏点（傍点、脇点）とは、「文字のそばに付けて注意を促したり、その部分を強調したりするしるし」（JIS Z 8125）のことであり、そのしるしとして一般には⟨﹅⟩が用いられます。ここで、小学生の頃から疑問に思っていたこととして、文脈に照らし合わせればど…