True, but I think only in the same sense that everyone vastly overemphasizes the importance of Babbage. They both made cool theoretical advances that didn’t have much of an effect on later thinking. This gives a sort of distorted view of cause and effect but the counterfactual worlds are actually worth figuring in to your tale in this case. Wow that would take too long to write out clearly, but maybe it kinda makes sense. (Chaitin actually discovered Leibniz after he developed his brand of algorithmic information theory; but he was like ‘ah, this guy knew where it was at’ when he found out about him.)
Chaitin actually discovered Leibniz after he developed his brand of algorithmic information theory; but he was like ‘ah, this guy knew where it was at’ when he found out about him.
I should point out that Leibniz had the two key ideas that you need to get this modern definition of randomness, he just never made the connection. For Leibniz produced one of the first calculating machines, which he displayed at the Royal Society in London, and he was also one of the first people to appreciate base-two binary arithmetic and the fact that everything can be represented using only 0s and 1s. So, as Martin Davis argues in his book The Universal Computer: The Road from Leibniz to Turing, Leibniz was the first computer scientist, and he was also the first information theorist. I am sure that Leibniz would have instantly understood and appreciated the modern definition of randomness.
OTOH, Wiener already in 1948 explicitly saw the digital computer as the fulfilment of Leibniz’s calculus ratiocinator. (Quoted on Wiki here, full text (maybe paywalled) here.)
I think you’re vastly over emphasizing the historic importance of Leibniz.
True, but I think only in the same sense that everyone vastly overemphasizes the importance of Babbage. They both made cool theoretical advances that didn’t have much of an effect on later thinking. This gives a sort of distorted view of cause and effect but the counterfactual worlds are actually worth figuring in to your tale in this case. Wow that would take too long to write out clearly, but maybe it kinda makes sense. (Chaitin actually discovered Leibniz after he developed his brand of algorithmic information theory; but he was like ‘ah, this guy knew where it was at’ when he found out about him.)
Interesting! You have a cite?
This is the original essay I read, I think: http://evans-experientialism.freewebspace.com/chaitin.htm
It’ll take a few minutes, Googling Leibniz+Chaitin gives a lot of plausible hits.
OTOH, Wiener already in 1948 explicitly saw the digital computer as the fulfilment of Leibniz’s calculus ratiocinator. (Quoted on Wiki here, full text (maybe paywalled) here.)