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.

	▲	DoctorOetker 3 days ago \| parent \| next [-]
		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.
	▲	adrianN 3 days ago \| parent \| prev [-]
		The whole project kind of died with Gödel.

▲

zeroonetwothree 3 days ago | parent | prev [-]

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.

	▲	dr_dshiv 2 days ago \| parent [-]
		Thanks for pointing me to that. Here is some source material. https://www.historyofinformation.com/detail.php?id=395