MATH 79SI: “Proof Positive: Principles of Mathematics” is a new student-initiated class that introduces students to basic mathematical proof-writing techniques. The one-unit class is designed to serve ...

The one source of truth is mathematics. Every statement is a pure logical deduction from foundational axioms, resulting in absolute certainty. Since Andrew Wiles proved Fermat’s Last Theorem, you’d be ...

Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.

Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture ...

The same branch of mathematics that helped Einstein to formulate his theory of general relativity could now allow scientists to peer with unprecedented accuracy into impenetrable objects—such as the ...