Hacker News
- Annotated version of Boole's 1847 “Algebra of Logic” (2019) [pdf] http://www.math.uwaterloo.ca/~snburris/htdocs/MAL.pdf 17 comments
- A History of Computation, Logic and Algebra, Part I https://pron.github.io/posts/computation-logic-algebra-pt1 3 comments
Lobsters
- [PDF] Topology and logic as a source of algebra - Saunders Mac Lane https://projecteuclid.org/download/pdf_1/euclid.bams/1183537593 5 comments math
- History of Computation, Logic and Algebra https://pron.github.io/computation-logic-algebra 11 comments programming
- Logic and linear algebra: an introduction http://arxiv.org/abs/1407.2650 4 comments math
- Correspondence of Linear Logic & Geometric Algebra (2000) http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00520.html 6 comments haskell
- Correspondence of Linear Logic & Geometric Algebra http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00520.html 9 comments math
- Classic texts in Symbolic Logic, Linear Algebra, et. al. https://www.reddit.com/r/math/comments/6w1xd6/classic_texts_in_symbolic_logic_linear_algebra_et/ 19 comments math
- New study could provide revolutionary way to build an AI that understands Logic and Time: Theories and Aplications of Boolean Algebras by Ohad Asor https://tau.net/wp-content/uploads/2024/03/Theories-and-Applications-of-Boolean-Algebras.pdf 10 comments programming
- Life After Calculus: a high level overview of Analysis, Algebra, Combinatorics, Geometry/Topology, Probability/Statistics, and Mathematical Logic http://www.math.cornell.edu/m/courses/lifeaftercalc 7 comments math
- An incredibly comprehensive book (2000+ pages) on Differential Geometry. The author develops everything in great detail from the start, including logic, ZFC set theory, algebra, analysis, and topology. http://www.geometry.org/tex/conc/dgstats.php 85 comments math