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:
“Heaven has its business and earth has its business: those are two separate things. Heaven, that’s the angels’ pasture; they are happy; they don’t have to fret about food and drink. And you can be sure that they have black angels to do the heavy work like laundering the clouds or sweeping the rain and cleaning the sun after a storm, while the white angels sing like nightingales all day long or blow in those little trumpets like they show in the pictures we see in church.”
—Jacques Roumain (1907–1945)
“This life is a war we are not yet
winning for our daughters’ children.
Don’t do your enemies’ work for them.
Finish your own.”
—Marge Piercy (b. 1936)