数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0629132人目の素数さん
2015/02/10(火) 14:07:52.97ID:pDvOEPOx・ 文字数が1兆個以下で書かれた
と定義するw
あとの方で不都合が出てきたときの方針としては、1兆ではなく、
100兆とか1000兆とかの大きな数字に変更する。それ以上のことは言えない。
たとえば、このことを一般化して
・ 具体的な数字αを1つ固定し、「実際に書き下ろされた」を「文字数がα個以下で書かれた」と定義し、
あとの方で不都合が出てきたら、αをより大きな具体的な数字に変更する
などと定義してはいけない。それは「定義の方針」とは呼べるが、「定義」には出来ない。
なぜなら、この方針は "具体的な数字" という曖昧な概念を含んでいるからだ。定義にはならない。
定義はやはり
・ 文字数が1兆個以下で書かれた
と定義するw
あとの方で不都合が出てきたときの「方針」としては、1兆ではなく、
100兆とか1000兆とかの大きな数字に変更する。やはり、それ以上のことは言えない。
■ このスレッドは過去ログ倉庫に格納されています