Logic as algebra
by Paul R. Halmos · first published 1998
2mentions
1recommended by
2HN commenters
2014–2025first – last mentioned
50% recommend50% neutral
Publisher Description (unedited publisher data) Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. The presentation, written in the engaging and provocative style that is the hallmark of Paul Halmos, from whose course the book is taken, is aimed at a broad audience, students, teachers and amateurs in mathematics, philosophy, computer science, linguistics and engineering; they all have to get to gr
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…three styles, but the last unfortunately had no textbook. I'm not a huge fan of logic/set theory, but again the best treatment I can see for basic logic is to view it as algebra. In that vein, Halmos's "Logic as Algebra" was all I needed, and the prose is superb. This book does not contain any real set theory (say, about higher cardinals), but it's nice and short. [1]: http://jeremykun.com/2014/02/16/elliptic-curves-as-algebraic...
on “Ask HN: Math books like SICP?” ↗…his interviews he often mentions George Chrystal's Algebra books as foundational. These are the ideas that he used to implement STL in C++. Also related (maybe?) is Paul Halmos and Steven Givant's book Logic as Algebra. MAA review at https://old.maa.org/press/maa-reviews/logic-as-algebra
on “Think in math, write in code (2019)” ↗