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:
“What an admirable training is science for the more active warfare of life! Indeed, the unchallenged bravery which these studies imply, is far more impressive than the trumpeted valor of the warrior.”
—Henry David Thoreau (1817–1862)