In this week's It’s Debatable article, Rick Rosen and Charles Moster debate whether we're all living in a computer simulation like the Matrix. Rosen retired as a professor from the Texas Tech ...

Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...

Lenore Blum’s long career has spanned the breadth of mathematics and computer science. She’s done influential work in logic and cryptography, and she formulated an entirely new model of computation.