Mathematics

Mathematicians, physicists, and engineers contributed to the development of computers and computer science. But the early, theoretical work came from mathematicians. English mathematician Alan Turing, working at Cambridge University, introduced the idea of a machine that could perform mathematical operations and solve equations. The Turing machine, as it became known, was a precursor of the modern computer. Through his work Turing brought together the elements that form the basis of computer science: symbolic logic, numerical analysis, electrical engineering, and a mechanical vision of human thought processes.

Computer theory is the third area with which von Neumann is associated, in addition to mathematical physics and game theory. He established the basic principles on which computers operate. Turing and von Neumann both recognized the usefulness of the binary arithmetic system for storing computer programs.

The first large-scale digital computers were pioneered in the 1940s. Von Neumann completed the EDVAC (Electronic Discrete Variable Automatic Computer) at the Institute of Advanced Study in Princeton in 1945. Engineers John Eckert and John Mauchly built ENIAC (Electronic Numerical Integrator and Calculator), which began operation at the University of Pennsylvania in 1946. As increasingly complex computers are built, the field of artificial intelligence has drawn attention. Researchers in this field attempt to develop computer systems that can mimic human thought processes.

Mathematician Norbert Wiener, working at the Massachusetts Institute of Technology (MIT), also became interested in automatic computing and developed the field known as cybernetics. Cybernetics grew out of Wiener’s work on increasing the accuracy of bombsights during World War II. From this came a broader investigation of how information can be translated into improved performance. Cybernetics is now applied to communication and control systems in living organisms.

Computers have exercised an enormous influence on mathematics and its applications. As ever more complex computers are developed, their applications proliferate. Computers have given great impetus to areas of mathematics such as numerical analysis and finite mathematics. Computer science has suggested new areas for mathematical investigation, such as the study of algorithms. Computers also have become powerful tools in areas as diverse as number theory, differential equations, and abstract algebra. In addition, the computer has made possible the solution of several long-standing problems in mathematics, such as the four-color theorem first proposed in the mid-19th century.

The four-color theorem stated that four colors are sufficient to color any map, given that any two countries with a contiguous boundary require different colors. Mathematicians at the University of Illinois finally confirmed the theorem in 1976 by means of a large-scale computer that reduced the number of possible maps to slightly less than 2,000. The program they wrote ran thousands of lines in length and took more than 1,200 hours to run. Many mathematicians, however, do not accept the result as a proof because it has not been checked. Verification by hand would require far too many human hours. Some mathematicians object to the solution’s lack of elegance. This complaint has been paraphrased, “a good mathematical proof is like a poem—this is a telephone directory.'

Hilbert inaugurated the 20th century by proposing 23 problems that he expected to occupy mathematicians for the next 100 years. A number of these problems, such as the Riemann hypothesis about prime numbers, remain unsolved in the early 21st century. Hilbert claimed, “If I were to awaken after having slept for a thousand years, my first question would be: Has the Riemann hypothesis been proven?”

The existence of old problems, along with new problems that continually arise, ensures that mathematics research will remain challenging and vital through the 21st century. Influenced by Hilbert, the Clay Mathematics Institute at Harvard University announced the Millennium Prize in 2000 for solutions to mathematics problems that have long resisted solution. Among the seven problems is the Riemann hypothesis. An award of $1 million awaits the mathematician who solves any of these problems.