Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

On a crisp fall New England day during my junior year of college, I was walking past a subway entrance when a math problem caught my eye. A man was standing near a few brainteasers he had scribbled on ...

J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019) J. Burgess. "Logic in the Second Half of the Twentieth Century" ...

Teaching students about logic gates is often done in two parts, once on the whiteboard for the theory, and again on the breadboard for the practice. [shurik179] wasn’t a fan of the abstraction between ...