Every so often, the Pentagon's blue sky research arm gets slammed, for funding investigations that are a little too down-to-Earth. Then Darpa turns around, and sponsors a new project to "develop a ...

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 ...