Hacker News Reader

My understanding was that Leibnitz was a pivotal figure in the ideas behind early computing. Didn't see that mentioned in the article so much.

View on HN

He was pivotal in a lot of stuff, so such not being mentioned in an article discussing his metaphysical ideas is not surprising.

Obligatory mention of the Baroque Cycle by Neal Stephenson: https://en.wikipedia.org/wiki/The_Baroque_Cycle

In Ideas That Created the Future [1], a curated and edited set of influential computer science papers, the Leibniz contribution is "The True Method" [2], which I read more or less as "if we could formalize everything, we could use mathematical methods to find answers to all questions".

In the collection of papers, it's picked because of its ideas later formalized in Boolean logic, and logic programming in general.

[1]: https://direct.mit.edu/books/edited-volume/5003/Ideas-That-C...

[2]: https://e-space.mmu.ac.uk/624726/3/The%20true%20method.pdf

Reply on news.ycombinator.com