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:
“We are weighed down, every moment, by the conception and the sensation of Time. And there are but two means of escaping and forgetting this nightmare: pleasure and work. Pleasure consumes us. Work strengthens us. Let us choose.”
—Charles Baudelaire (1821–1867)
“Some of the smartest women in the country said that they’re too embarrassed to attend their reunions at Harvard Business School if they have dropped out of the work force, left the fast track by choosing part-time work, or decided to follow anything other than the standard male career path.”
—Deborah J. Swiss (20th century)