The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an ...

Marcos Mazari-Armida, a postdoctoral researcher at CU Boulder, wins 2021 Sacks Prize from the Association of Symbolic Logic A University of Colorado Boulder mathematician has won the Sacks Prize, ...

For centuries, mathematicians have categorized infinities into a kind of ladder. The infinite set of natural numbers (1, 2, 3, and so on) sits on one rung. On a higher rung, the infinite set of real ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...