For four decades, a quiet boundary in pure mathematics kept a powerful theorem locked inside the safe world of finite quantities. Now a new result known as Sebestyen’s theorem has pushed that boundary ...

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