Sokratesさんの備忘録ないし雑記帳

思考の流し台. 駄文注意.

2018-09-13から1日間の記事一覧

数学と比喩~CR性は崇徳院である~

数学をやっているとすごいレベルの比喩でもって数学的な概念を説明してくれる人に出会う. 最近自分の中でヒットしたのは「CR性は崇徳院」というものだ. CR性というのは"Church Rosser 性" というものである種の順序集合の性質のことである. 正確には次のよう…