>>1-227
自然言語を使わずに数学論文を書く事が出来るか？

今ある全ての数学論文から自然言語を取り去り、別の形式に置き換える事が出来るか？


コンピューターが数学者の代わりに数学を研究する事が出来るかは

数学研究の外部に、自然言語が必要なのかという事に還元されるのではないか