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:
“You must train the children to their studies in a playful manner, and without any air of constraint, with the further object of discerning more readily the natural bent of their respective characters.”
—Plato (c. 427–347 B.C.)