解釈のスペクトラム
どこで変化(相転移?)が起きるのか?
日本語:
定義の文 | 証明を要する命題? |
---|---|
ホゲタンプとは2で割り切れる自然数である | 2で割り切れる⇒ホゲタンプ |
even numberとは2で割り切れる自然数である | 2で割り切れる⇒even number |
グウスウとは2で割り切れる自然数である | 2で割り切れる⇒グウスウ |
ぐうすうとは2で割り切れる自然数である | 2で割り切れる⇒ぐうすう |
偶数とは2で割り切れる自然数である | 2で割り切れる⇒偶数 |
英語:
定義の文 | 証明を要する命題? |
---|---|
a hogetamp is a natural number that is divisible by 2 | divisible by 2⇒hogetamp |
an even number is a natural number that is divisible by 2 | divisible by 2⇒even number |
a GUSU is a natural number that is divisible by 2 | divisible by 2⇒GUSU |
a 偶数 is a natural number that is divisible by 2 | divisible by 2⇒偶数 |