日: 2024年5月25日

ルネ・デカルトは、 解析幾何学(座標幾何学)によって、幾何学から悟性(知性)の神秘をなくし、
ダフィット・ヒルベルトは、ヒルベルト・プログラム (ヒルベルト計画)によって、数学を形式化して、悟性(知性)の神秘をなくそうとし、
AIは、悟性(知性)の神秘をなくそうとしている。