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:
“Even if one studies to an old age, one will never finish learning.”
—Chinese proverb.