Synthesis is harder than analysis – Surfing Complexity
Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a m…
Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a model of computation that was developed by Alonzo Church. If databases are more your thing, then you’ve been exposed to the relational calculus without even knowing it, since SQL is based on the relational calculus. If you are into formal methods, then you’ve worked with the predicate calculus, better known as first-order logic. Finally, if you enjoy reading academic papers on programming languages,…
saved by
related reading
- Surfing Complexity – Lorin Hochstein's ramblings about software, complex systems, and incidents.surfingcomplexity.blog
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- Calculus on Computational Graphs: Backpropagation -- colah's blogcolah.github.io
- Fundamental theorem of calculus - Wikipediaen.wikipedia.org
- Lambda calculus - Wikipediaen.wikipedia.org
- Differentiable Programming from Scratchthenumb.at
- Mathematics (Course 18)catalog.mit.edu
- Matrix_Calc_for_DL.pdfsamfinlayson.com
- History of calculus - Wikipediaen.wikipedia.org
- Kill Mathworrydream.com
- CalculusIntuitiveExplanations.pdfintuitiveexplanations.com
- The Matrix Calculus You Need For Deep Learningarxiv.org