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 ...