Computer assistance and pure mathematics
Today I want to tell you a story of a preprint in pure mathematics that came into existence only by crucial help of precise computer computations. To explain the results, let us first define for a set \(A \subset \mathbb{N}_{>1}\) of natural numbers \[f(A) := \sum_{n \in A} \frac{1}{n \log(n)}\,.\] For \(k \ge 1\) let … Continue reading "Computer assistance and pure mathematics"