- 590 名前：いつこの問題は解決されるか？」という問いだ。
EMXが問題となるのは数学の欠陥に由来する。1931年、オーストリア出身の論理学者クルト・ゲーデルが不完全性定理を証明して以来、数学は壊れてしまっているからだ。ゲーデルは、数学のあらゆる系には決して答えることのできない問いがあることを「不完全性定理」で証明した。それは数学者の能力が及ばないからではない。単に答えがないからだ。
連続体仮説では、Xは存在しないと予想された。しかし、ゲーデルとコーエンは、連続体仮説は真でも偽でもないことを証明してしまったのだ。連続体仮説に答えはないのである。
連続体仮説が真、つまり無限集合Ｘが存在しないとすれば、EMXは解決可能。連続体仮説が偽、つまり無限集合Ｘが存在するとすれば、EMXは解決不可能。ところが、連続体仮説が決定不可能である以上、EMXも解決不可能な問題となる。
無限の可能性を秘めていると思われたAIに限界があることが分かったのは驚愕に値するだろう。しかし、連続体仮説で数学の営み自体が頓挫したわけではないことからも予想できるように、EMXによりAIの機械学習が完全に不可能となるわけではないようだ。
今後もAIは、“数学の限界内”において有益なツールとして我々の役に立ってくれることだろう。
（編集部） [] - [ここ壊れてます]
|
 |
