2023-04-01から1ヶ月間の記事一覧

マサイアス「ブルバキの無知」

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

ウズウズしていた期間

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

多義性解消としての圏点

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