メモ

「厳密（Exact)」というよりは「厳格(Rigorous)」に物事を考えたがるという特質を持つタイプの数学のことを意味している。（ちなみに、英語のExactに適ういい日本語はない。辞書ではExactもRigorousも共に「厳密な」という訳になり、ここに混乱が生じることになる。同じ「厳密」といっても意味が大分異なるのである。前者は「そのものずばり」という意味であるが、後者は「手を抜かない」という意味である。だから「厳密解」を「exact solution」、「厳密証明」を「rigorous proof」というわけだ。）