Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Lisp: it's not about macros, it's about READ (2012). Parent comment
Leibniz of course turned out to be right (or had the right intuition) but he failed to provide rigorous definitions of limits, functions, etc.
I only made the connection as some models of assignment I've seen use a rule of syntactic substitution from Leibniz in the method of proof.
Rigorous if you're a programmer not used to using proofs.
There are no comments on this comment yet.
Leibniz of course turned out to be right (or had the right intuition) but he failed to provide rigorous definitions of limits, functions, etc.
I only made the connection as some models of assignment I've seen use a rule of syntactic substitution from Leibniz in the method of proof.
Rigorous if you're a programmer not used to using proofs.