Comment by dr_dshiv
5 days ago
Leibniz invented binary — so he kind of succeeded in his quest.
He based it on the Chinese iching, interestingly enough…
5 days ago
Leibniz invented binary — so he kind of succeeded in his quest.
He based it on the Chinese iching, interestingly enough…
He was ahead of his time, definitely, and binary logic is one critical step in getting there, but we're a long way from having a formal language to represent all claims that would ever arise in human argumentation to the point that it's simply a matter of calculation to resolve them.
Check out metamath.org I can't fathom any valid argument that couldn't be formalized to mathematical statements. There would still be disagreements on axioms and physical postulates, especially where there are conflicts of interest.
The whole project kind of died with Gödel.
He didn’t actually base it on the Yiching, he just noticed that it could be expressed neatly in binary. But he had come up with binary code before that.
Thanks for pointing me to that. Here is some source material.
https://www.historyofinformation.com/detail.php?id=395