  |
縦の長さが3で横の長さが4の直角三角形があったら
斜めの長さを人類が知るには人に聞くか数学的な証明を頭の中で行うか実際に測るかするしか無い
Aが成り立ちA→Bが成り立つならすぐにBも成り立つと分かってしまう
ではここで人類よりも遥かに優れたスペックを持つ生命体がいたら…
上記の直角三角形にしてもすぐに大量の図形の組み合わせが脳内で成り立つのを当たり前のように受け入れ
その中から斜めが5だと分かるような図形の組み合わせを連想してしまうであろう
これは単なる例に過ぎない
他の様々な数学の命題も脳内で大量の推論が当たり前のように浮かんでしまうせいで
人類が今までに証明してきた大量の命題がただの当たり前の物としか映らないし
一方で人類が把握する事すら困難な数学の長い長い命題を面白い物として人類に提示してくるだろう
だが人類も人類で高スペックの生命体にその困難な命題とその形式的証明さえ与えて貰えば
それが正しい事を高スペックのコンピュータで確認する事が出来る
55
