「異星数学」の例を見たい方のために:こちらは無限クラスの「論理的」系の一つで、NAND演算子の公理に似ているが同値ではないが、定理も同様に豊富です。右側は「論理的」定理の例です。

ケンブリッジの卒業式ディナーで、私は70代の物理学のライフフェローの隣に座りました(学部生として入学し、その後ずっと離れていません)。 彼の研究について尋ねました。彼は「最近書いたカオン崩壊に関する論文」について話してくれました。夕食後に調べてみました。1976年出版。

AIによる数学のパイプラインが一般的になる中で、私たちがますます直面しなければならない重要な問いがあります。 なぜ私たちは難しい問題を解決することに関心を持つのでしょうか?ほとんどの場合、答えは「難しい問題を解決したい」からではない。(1/12)