2021-05-16から1日間の記事一覧

厳密さのレベル

数学的厳密さは、理解する者を選り分ける篩である。生半可な理解では、細部まで厳密な証明は書けないからだ。 プログラミングにも同じことが言える。一般的な手続き型言語において、機械が認識する厳密さのレベルは、数学が厳密と呼ぶレベルとかなり似通って…