定義と定理 | くにたち蟄居日記

定義と定理

 自宅で夕食を摂っている際に突然妻から「定理と定義の違いは何か」と聞かれた。こういう質問が
突然飛んでくる家庭に果たして安らぎはあるのだろうか。
 
 2分考えた結論は以下である。
 
 1 定理とは数式のようなものであり、基本的には言語に因らない。
 
 2 定義とは言語に因るものであり、従い、その言語の限界が定義の限界になる。言語の違いが定義の
   違いになるし、定義の違いが言語を分ける指標にもなりえる。
 
 
 ということでまだ考え続けているところだ。