1148 shaares
199 private links
199 private links
3 results
tagged
mathematics
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.