3 ms·
Leibniz invented binary — so he kind of succeeded in his quest. He based it on the Chinese iching, interestingly enough…
by dr_dshiv 1y ago
Leibniz invented binary — so he kind of succeeded in his quest.
He based it on the Chinese iching, interestingly enough…
- SilasX 1y agoHe 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.
- adrianN 1y agoThe whole project kind of died with Gödel.
- DoctorOetker 1y agoCheck 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.
- zeroonetwothree 1y agoHe 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.
- dr_dshiv 1y agoThanks for pointing me to that. Here is some source material. https://www.historyofinformation.com/detail.php?id=395 https://www.historyofinformation.com/detail.php?id=395