Computational Studies
In the latter half of the 20th century, computational methods were used to extend Kummer's approach to the irregular primes. In 1954, Harry Vandiver used a SWAC computer to prove Fermat's Last Theorem for all primes up to 2521. By 1978, Samuel Wagstaff had extended this to all primes less than 125,000. By 1993, Fermat's Last Theorem had been proven for all primes less than four million.
Read more about this topic: Fermat's Last Theorem
Famous quotes containing the word studies:
“His life itself passes deeper in nature than the studies of the naturalist penetrate; himself a subject for the naturalist. The latter raises the moss and bark gently with his knife in search of insects; the former lays open logs to their core with his axe, and moss and bark fly far and wide. He gets his living by barking trees. Such a man has some right to fish, and I love to see nature carried out in him.”
—Henry David Thoreau (18171862)