IBM's World of Numbers publication about the history of numbers, computation, and computers to 1958.

In the philosophy of mathematics, intuitionism, or neointuitionism is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality.

Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation for a proof at the heart of his quest from an unlikely source: a computer.