>>582

>>564
＞これって歴史的には錬金術や黒魔術に起源を持ってるらしいんだよなあ
＞自然現象を何が何でも記号で表そうとしたのだ

この世の全てを数学的に記述しようとした
試みは、（数学全体の完全性と無矛盾性）

ヒルベルト・プログラムと呼ばれていて、
1900年頃の話になる。

それに対して、
数学における完全性は、
公理体系の中に置いてのみ通用すると言うこと
ゲーテルが不完全定理として証明したのが、
1930年
（公理が正しいかどうかは、公理系の中から証明できない事を証明した）

あらゆる学問体系において、
その論理が通用するのは、
その前提とされている公理系が通用する範囲においてのみだと証明されるのが、
1980年代
（グレゴリー・チャイティンの超数学的証明）

まあ、要は、
この世の全てを数学的に記述しようとしているのは、
黒魔術や錬金術どころか、
今もやってるけど、
無理だと証明されている。