Pure Maths
Robert Gray (University of East Anglia) – Solving equations in one-relator groups
Mathematicians have long been interested in the question of which problems can be automated, that is, which mathematical tasks can be solved using a computer. Famously, in 1900 Hilbert put forward the challenge of finding an algorithm which for any […]
