- Birds 'Weigh' Peanuts and Choose Heavier Ones
- Perching Toe: From Chicken to Dinosaur
- Photogrammetry Transforms Archaeological Sites
- Ancient Diving Birds: Special Diving Adaptations
- Good Skin Contains Many Cancer-Linked Mutations
- Robot Masters New Skills by Trial and Error
- 'New Girl' Chimps Form Stronger Female Bonds
- Savannahs Slow Climate Change: Study
- Partly Human Yeast Show a Common Ancestor
- Modern Alchemy: Synthesis of Exotic Compounds

Science News

from research organizations

- Date:
- October 13, 2011
- Source:
- American Mathematical Society
- Summary:
- In a new article, mathematicians describe how modern computer technology has vastly expanded our ability to discover new mathematical results. By computing mathematical expressions to very high precision, the computer can discover completely unexpected relationships and formulas, the authors say.
- Share:

FULL STORY

In his 1989 book "The Emperor's New Mind," Roger Penrose commented on the limitations on human knowledge with a striking example: He conjectured that we would most likely never know whether a string of 10 consecutive 7s appears in the digital expansion of the number pi. Just 8 years later, Yasumasa Kanada used a computer to find exactly that string, starting at the 22869046249th digit of pi. Penrose was certainly not alone in his inability to foresee the tremendous power that computers would soon possess. Many mathematical phenomena that not so long ago seemed shrouded and unknowable, can now be brought into the light, with tremendous precision.

In their article "Exploratory Experimentation and Computation," to appear in the November 2011 issue of the *Notices of the American Mathematical Society*, David H. Bailey and Jonathan M. Borwein describe how modern computer technology has vastly expanded our ability to discover new mathematical results. "By computing mathematical expressions to very high precision, the computer can discover completely unexpected relationships and formulas," says Bailey.

**Mathematics, the Science of Patterns**

A common misperception is that mathematicians' work consists entirely of calculations. If that were true, computers would have replaced mathematicians long ago. What mathematicians actually do is to discover and investigate patterns -- patterns that arise in numbers, in abstract shapes, in transformations between different mathematical objects, and so on. Studying such patterns requires subtle and sophisticated tools, and, until now, a computer was either too blunt an instrument, or insufficiently powerful, to be of much use in mathematics. But at the same time, the field of mathematics grew and deepened so much that today some questions appear to require additional capabilities beyond the human brain.

"There is a growing consensus that human minds are fundamentally not very good at mathematics, and must be trained," says Bailey. "Given this fact, the computer can be seen as a perfect complement to humans -- we can intuit but not reliably calculate or manipulate; computers are not yet very good at intuition, but are great at calculations and manipulations."

Although mathematics is said to be a "deductive science," mathematicians have always used exploration, whether through calculations or pictures, to test ideas and gain intuition, in much the same way that researchers in inductive sciences carry out experiments. Today, this inductive aspect of mathematics has grown through the use of computers, which have vastly increased the amount and type of exploration that can be done. Computers are of course used to ease the burden of lengthy calculations, but they are also used for visualizing mathematical objects, discovering new relationships between such objects, and testing (and especially falsifying) conjectures. A mathematician might also use a computer to explore a result to see whether it is worthwhile to attempt a proof. If it is, then sometimes the computer can give hints about how the proof might proceed. Bailey and Borwein use the term "experimental mathematics" to describe these kinds of uses of the computer in mathematics.

**Exploring Prime Numbers via Computers**

Their article gives several examples of experimental mathematics; the computations of the digits of pi mentioned above is one of them. Another example is provided by computer explorations of a mathematical problem known as Giuga's Conjecture. This conjecture proposes that, for any positive integer n, one can check definitively whether n is prime by calculating a certain sum in which n appears in the exponent of the summands. That sum would have a certain value, call it S, if and only if n is prime; stated differently, that sum would not have the value S if and only if n is composite. Although the conjecture dates to 1950, it has never been proved and seems out of reach by conventional mathematical methods.

However, Bailey and Borwein, along with their collaborators, were able to use computers to show that any number that is an exception to Giuga's Conjecture must have more than 3,678 distinct prime factors and be more than 17,168 decimal digits long. That is, any shorter composite number cannot result in the value S. This does not prove Giuga's Conjecture is true, but it is a compelling piece of evidence in favor of the conjecture's truth. This kind of empirical evidence is sometimes just what is needed to generate enough confidence for a mathematician to dedicate energy to seeking a full proof. Without such confidence, the inspiration to push through to a proof might not be there.

**Impact on Education**

In addition to discussing state-of-the-art uses of computers in mathematics, the article also touches on the need to refashion mathematics education to give students the tools of experimental mathematics. "The students of today live, as we do, in an information-rich, judgment-poor world in which the explosion of information, and of tools, is not going to diminish," says Borwein. "So we have to teach judgment (not just concern with plagiarism) when it comes to using what is already possible digitally. Additionally, it seems to me critical that we mesh our software design -- and our teaching style more generally -- with our growing understanding of our cognitive strengths and limitations as a species."

**Story Source:**

The above story is based on materials provided by **American Mathematical Society**. *Note: Materials may be edited for content and length.*

**Cite This Page**:

American Mathematical Society. "Experimental mathematics: Computing power leads to insights." ScienceDaily. ScienceDaily, 13 October 2011. <www.sciencedaily.com/releases/2011/10/111013085225.htm>.

American Mathematical Society. (2011, October 13). Experimental mathematics: Computing power leads to insights. *ScienceDaily*. Retrieved May 23, 2015 from www.sciencedaily.com/releases/2011/10/111013085225.htm

American Mathematical Society. "Experimental mathematics: Computing power leads to insights." ScienceDaily. www.sciencedaily.com/releases/2011/10/111013085225.htm (accessed May 23, 2015).

Computers & Math News

May 23, 2015

Latest Headlines

updated 12:56 pm ET

May 21, 2015 — People who post Facebook status updates about their romantic partner are more likely to have low self-esteem, while those who brag about diets, exercise, and accomplishments are typically ... read more

May 22, 2015 — A technique has been developed that enables hydrographic printing, a widely used industrial method for transferring color inks on a thin film to the surface of 3D objects, to ... read more

May 21, 2015 — Where do electronics go when they die? Most devices are laid to eternal rest in landfills. But what if they just dissolved away, or broke down to their molecular components ... read more

May 21, 2015 — For decades, the fundamental design of microwave devices, such as antennas for mobile communication and waveguides used in radars, has essentially relied on the inventiveness of a professional ... read more

May 21, 2015 — The sight of skilful aerial maneuvering by flocks of Greylag geese to avoid collisions with York's Millennium Bridge intrigued a mathematical biologist. It raised the ... read more

May 21, 2015 — Computer simulations have predicted a new phase of matter: atomically thin two-dimensional ... read more

May 20, 2015 — A false tweet from a hacked account owned by the Associated Press demonstrates the need to better understand how social media data is linked to decision making in the private and public sector, ... read more

May 20, 2015 — Scientists have succeeded in securing chip cards against leaking confidential information. Through the use of smart algorithms it is now possible to better secure, for instance, bank cards, public ... read more

May 19, 2015 — Drought and heat-induced tree mortality is accelerating in many forest biomes as a consequence of a warming climate, researchers report. To predict characteristics of plants ... read more

May 20, 2015 — Researchers have made the first measurements of thermoelectric behavior by a nanoporous metal-organic framework (MOF), a ... read more