Important update, Jan. 17 at 18:00 UTC: There have been a lot of objections raised about the video mentioned below and the way I describe the math therein. It’s more than I can simply add or update ...

At the beginning of the 20th century, the German mathematician David Hilbert (1862–1943) advocated an ambitious program to formulate a system of axioms and rules of inference that would encompass all ...

Mathematics is often about uncovering patterns. For example, certain areas of topology revolve around categorizing knots or geometric shapes, and number theory explores properties such as the ...