Every December 8 for years, Julia Robinson blew out the candles on her birthday cake and made the same wish: that someday she would know the answer to Hilbert’s 10th problem. Though she worked on the ...
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 ...