For mathematicians and computer scientists, this was often a year of double takes and closer looks. Some reexamined foundational principles, while others found shockingly simple proofs, new techniques ...

All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in general, research mathematicians don’t need to think about it ...