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:
“People need to be made more aware of the need to work at learning how to live because life is so quick and sometimes it goes away too quickly.”
—Andy Warhol (1928–1987)
“You do not become a “dissident” just because you decide one day to take up this most unusual career. You are thrown into it by your personal sense of responsibility, combined with a complex set of external circumstances. You are cast out of the existing structures and placed in a position of conflict with them. It begins as an attempt to do your work well, and ends with being branded an enemy of society.”
—Václav Havel (b. 1936)