Later Work
Later results, particularly of Alan Baker, changed the position. Weaker theorems, qualitatively speaking, but with explicit constants, can actually be applied, in conjunction with machine computation, to prove that lists of solutions (suspected to be complete) are actually the entire solution set.
Read more about this topic: Effective Results In Number Theory
Famous quotes containing the word work:
“I move my thin legs into your office
and we work over the cadaver of my soul.
We make a stage set out of my past
and stuff painted puppets into it.”
—Anne Sexton (1928–1974)
“To see distinctly the machinery—the wheels and pinions—of any work of Art is, unquestionably, of itself, a pleasure, but one which we are able to enjoy only just in proportion as we do not enjoy the legitimate effect designed by the artist.”
—Edgar Allan Poe (1809–1849)