This three-part series of (long) posts is a very thorough and fascinating counterpoint to the idea that computation was discovered and that there is anything su

This three-part series of (long) posts is a very thorough and fascinating counterpoint to the idea that computation was discovered and that there is anything surprising about the confluence of lambda calculus, Turing machines etc, mostly using primary sources from Leibniz onwards: "Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra" https://pron.github.io/posts/computation-logic-algebra-pt1 https://pron.github.io/posts/computation-logic-algebra-pt1